| appearance as argument number 1 |
|
| (documentation contraryAttribute ChineseLanguage "contraryAttribute 是一组 Attribute ，而某一件事物不能同时拥有超过一种这个组里的 Attributes。 举例说： (contraryAttribute Pliable Rigid) 指的是没有一件东西是既 Pliable 又 Rigid 的。") | Merge.kif 512-514 | |
| (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 508-511 | |
| (domain contraryAttribute 1 Attribute) | Merge.kif 507-507 | |
| (instance contraryAttribute Predicate) | Merge.kif 505-505 | |
| (instance contraryAttribute VariableArityRelation) | Merge.kif 506-506 |
| 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 174-174 | |
| (format FrenchLanguage contraryAttribute "%1 est %n l'oppos� de %2") | french_format.kif 164-164 | |
| (format ItalianLanguage contraryAttribute "%1 � %n opposto a %2") | relations-it.txt 58-58 | |
| (format PortugueseLanguage contraryAttribute "%1 e' %n &o oposto de %2") | portuguese_format.kif 116-116 | |
| (format ar contraryAttribute "%1 هو %n مٌضَاد لـ %2") | arabic_format.kif 109-109 | |
| (format de contraryAttribute "%1 wird %2 entgegengesetzet %n{nicht}") | relations-de.txt 367-367 | |
| (format hi contraryAttribute "%1 %2 ke vipariita %n hai") | relations-hindi.txt 99-99 | |
| (format tg contraryAttribute "%1 %n ay sinaalungat sa %2") | relations-cb.txt 92-92 | |
| (termFormat ChineseLanguage contraryAttribute "相反属性") | chinese_format.kif 284-284 | |
| (termFormat EnglishLanguage contraryAttribute "contrary attribute") | domainEnglishFormat.kif 3256-3256 | |
| (termFormat ar contraryAttribute "«مٌضَاد لـ»") | arabic_format.kif 559-559 | |
| (termFormat tg contraryAttribute "sinaalungat katangian") | relations-tg.txt 133-133 |
| antecedent |
|
|
| (=> (and (contraryAttribute @ROW1) (identicalListItems (ListFn @ROW1) (ListFn @ROW2))) (contraryAttribute @ROW2)) |
Merge.kif 522-526 | |
| (=> (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 1916-1927 | |
| (=> (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 17185-17193 | |
| (=> (contraryAttribute @ROW) (=> (inList ?ELEMENT (ListFn @ROW)) (instance ?ELEMENT Attribute))) |
Merge.kif 516-520 | |
| (=> (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 528-538 |
| consequent |
|
|
| (=> (and (contraryAttribute @ROW1) (identicalListItems (ListFn @ROW1) (ListFn @ROW2))) (contraryAttribute @ROW2)) |
Merge.kif 522-526 | |
| (=> (oppositeDirection ?DIR1 ?DIR2) (contraryAttribute ?DIR1 ?DIR2)) |
Mid-level-ontology.kif 15807-15809 |
| appearance as argument number 0 |
|
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners