Skip to content

Commit dce7949

Browse files
committed
fix uq_instance of -> real qualifier
1 parent 72139c9 commit dce7949

1 file changed

Lines changed: 2 additions & 2 deletions

File tree

src/pyirk/builtin_entities.py

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2193,9 +2193,9 @@ def uq_instance_of(type_entity: Item, r1: str = None, r2: str = None) -> Item:
21932193
# note this fallback naming can be avoided by explicitly passing r1=... as kwarg
21942194
r1 = f"{type_entity.R1} – instance"
21952195

2196-
instance = instance_of(type_entity, r1, r2)
2196+
instance = instance_of(type_entity, r1, r2, qualifiers=[univ_quant(True)])
21972197
# TODO: This should be used as a qualifier
2198-
instance.set_relation(R44["is universally quantified"], True)
2198+
# instance.set_relation(R44["is universally quantified"], True)
21992199
return instance
22002200

22012201

0 commit comments

Comments
 (0)