contraryAttribute |
appearance as argument number 1 |
![]() |
(documentation contraryAttribute ChineseLanguage "contraryAttribute 是一组 Attribute ,而某一件事物不能同时拥有超过一种这个组里的 Attributes。 举例说: (contraryAttribute Pliable Rigid) 指的是没有一件东西是既 Pliable 又 Rigid 的。") | chinese_format.kif 1504-1506 | |
(documentation contraryAttribute EnglishLanguage "A contraryAttribute is a set of Attributes such that something can not simultaneously have more than one of these Attributes. For example, (contraryAttribute Pliable Rigid) means that nothing can be both Pliable and Rigid.") | Merge.kif 457-460 | |
(domain contraryAttribute 1 Attribute) | Merge.kif 455-455 | |
(instance contraryAttribute Predicate) | Merge.kif 453-453 | |
(instance contraryAttribute VariableArityRelation) | Merge.kif 454-454 |
appearance as argument number 2 |
![]() |
(format ChineseLanguage contraryAttribute "%1 %n 是 %2 的相反") | chinese_format.kif 283-283 | |
(format EnglishLanguage contraryAttribute "%1 is %n the opposite of %2") | english_format.kif 288-288 | |
(termFormat ChineseLanguage contraryAttribute "相反属性") | chinese_format.kif 284-284 | |
(termFormat ChineseLanguage contraryAttribute "相反的属性") | domainEnglishFormat.kif 17001-17001 | |
(termFormat ChineseTraditionalLanguage contraryAttribute "相反的屬性") | domainEnglishFormat.kif 17000-17000 | |
(termFormat EnglishLanguage contraryAttribute "contrary attribute") | domainEnglishFormat.kif 16999-16999 |
antecedent |
![]() |
(=> (and (contraryAttribute @ROW1) (identicalListItems (ListFn @ROW1) (ListFn @ROW2))) (contraryAttribute @ROW2)) |
Merge.kif 468-472 | |
(=> (and (instance ?A Animal) (instance ?P (BodySideFn ?S ?BPC)) (contraryAttribute ?S ?SO) (attribute ?A Healthy)) (exists (?PO) (and (instance ?PO (BodySideFn ?SO ?BPC)) (orientation ?P ?PO ?S)))) |
Merge.kif 14708-14719 | |
(=> (and (instance ?ACT BringingGEToFront) (patient ?ACT ?WINDOW) (instance ?WINDOW InterfaceWindow) (holdsDuring (BeginFn ?ACT) (hasGUEState ?WINDOW ?STATE)) (contraryAttribute ?STATE GUE_UncoveredState)) (holdsDuring (EndFn ?ACT) (not (hasGUEState ?WINDOW ?STATE)))) |
ComputerInput.kif 2329-2340 | |
(=> (and (orientation ?OBJ1 ?OBJ2 ?ATTR1) (contraryAttribute @ROW) (inList ?ATTR1 (ListFn @ROW)) (inList ?ATTR2 (ListFn @ROW)) (not (equal ?ATTR1 ?ATTR2))) (not (orientation ?OBJ1 ?OBJ2 ?ATTR2))) |
Merge.kif 16639-16647 | |
(=> (contraryAttribute @ROW) (=> (inList ?ELEMENT (ListFn @ROW)) (instance ?ELEMENT Attribute))) |
Merge.kif 462-466 | |
(=> (contraryAttribute @ROW) (forall (?ATTR1 ?ATTR2) (=> (and (equal ?ATTR1 (ListOrderFn (ListFn @ROW) ?NUMBER1)) (equal ?ATTR2 (ListOrderFn (ListFn @ROW) ?NUMBER2)) (not (equal ?NUMBER1 ?NUMBER2))) (=> (property ?OBJ ?ATTR1) (not (property ?OBJ ?ATTR2)))))) |
Merge.kif 474-484 |
consequent |
![]() |
(=> (and (contraryAttribute @ROW1) (identicalListItems (ListFn @ROW1) (ListFn @ROW2))) (contraryAttribute @ROW2)) |
Merge.kif 468-472 | |
(=> (oppositeDirection ?DIR1 ?DIR2) (contraryAttribute ?DIR1 ?DIR2)) |
Mid-level-ontology.kif 17528-17530 |
appearance as argument number 0 |
![]() |
![]() |
![]() |