property |
appearance as argument number 1 |
![]() |
(documentation property ChineseLanguage "这个 Predicate 在 Entity 的实例和 Attribute 的 实例成立。(property ?ENTITY ?ATTR) 的意思是 ?ENTITY 有 ?ATTR 的 Attribute。") | chinese_format.kif 1712-1713 | |
(documentation property EnglishLanguage "This Predicate holds between an instance of Entity and an instance of Attribute. (property ?ENTITY ?ATTR) means that ?ENTITY has the Attribute ?ATTR.") | Merge.kif 1651-1653 | |
(domain property 1 Entity) | Merge.kif 1648-1648 | The number 1 argument of property is an instance of entity |
(domain property 2 Attribute) | Merge.kif 1649-1649 | The number 2 argument of property is an instance of attribute |
(instance property BinaryPredicate) | Merge.kif 1647-1647 | property is an instance of binary predicate |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
consequent |
![]() |
appearance as argument number 0 |
![]() |
![]() |
![]() |