attribute |
appearance as argument number 1 |
![]() |
(documentation attribute ChineseLanguage "(attribute ?OBJECT ?PROPERTY) 的意思是 ?PROPERTY 是 ?OBJECT 的 Attribute。例如:(attribute MyLittleRedWagon Red)。") | chinese_format.kif 1714-1715 | |
(documentation attribute EnglishLanguage "(attribute ?OBJECT ?PROPERTY) means that ?PROPERTY is a Attribute of ?OBJECT. For example, (attribute MyLittleRedWagon Red).") | Merge.kif 1628-1630 | |
(domain attribute 1 Object) | Merge.kif 1626-1626 | domain attribute, 1 and Object |
(instance attribute AsymmetricRelation) | Merge.kif 1622-1622 | instance attribute and AsymmetricRelation |
(instance attribute IrreflexiveRelation) | Merge.kif 1623-1623 | instance attribute and IrreflexiveRelation |
(instance attribute TotalValuedRelation) | Merge.kif 1624-1624 | instance attribute and TotalValuedRelation |
(subrelation attribute property) | Merge.kif 1625-1625 | subrelation attribute and property |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
consequent |
![]() |
statement |
![]() |
![]() |
![]() |