| 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 452-455 | |
| (documentation contraryAttribute JapaneseLanguage "contraryAttribute は Attributes の セットで、これらの複数の Attributes を同時に持つことができない。 例えば、(contraryAttribute Pliable Rigid) とは、Pliable と Rigid の両方が同時に存在できない、という意味である。") | japanese_format.kif 68-70 | |
| (documentation contraryAttribute SpanishLanguage "Un contraryAttribute es un conjunto de Attributes de tal manera que algo no puede tener más de uno de estos Attributes simultáneamente. Por ejemplo, (contraryAttribute Pliable Rigid) significa que nada puede ser ambos Pliable y Rigid.") | spanish_format.kif 78-81 | |
| (domain contraryAttribute 1 Attribute) | Merge.kif 450-450 | |
| (instance contraryAttribute Predicate) | Merge.kif 448-448 | |
| (instance contraryAttribute VariableArityRelation) | Merge.kif 449-449 |
| 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 | |
| (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 JapaneseLanguage contraryAttribute "%1 は %2 の disjoint では %n") | japanese_format.kif 1984-1984 | |
| (format PortugueseLanguage contraryAttribute "%1 e' %n &o oposto de %2") | portuguese_format.kif 116-116 | |
| (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 ro contraryAttribute "%1 %n{nu} este opposed%t{opus} lui %2") | relations-ro.kif 184-184 | |
| (format sv contraryAttribute "%1 är %n{inte} emot %2") | relations-sv.txt 171-171 | |
| (format tg contraryAttribute "%1 %n ay sinaalungat sa %2") | relations-cb.txt 92-92 | |
| (termFormat ChineseLanguage contraryAttribute "相反属性") | chinese_format.kif 284-284 | |
| (termFormat ChineseLanguage contraryAttribute "相反的属性") | domainEnglishFormat.kif 17025-17025 | |
| (termFormat ChineseTraditionalLanguage contraryAttribute "相反的屬性") | domainEnglishFormat.kif 17024-17024 | |
| (termFormat EnglishLanguage contraryAttribute "contrary attribute") | domainEnglishFormat.kif 17023-17023 | |
| (termFormat de contraryAttribute "kontraeresAttribut") | terms-de.txt 114-114 | |
| (termFormat tg contraryAttribute "sinaalungat katangian") | relations-tg.txt 133-133 |
| antecedent |
|
|
| (=> (and (contraryAttribute @ROW) (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 469-477 | |
| (=> (and (contraryAttribute @ROW1) (identicalListItems (ListFn @ROW1) (ListFn @ROW2))) (contraryAttribute @ROW2)) |
Merge.kif 463-467 | |
| (=> (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 15083-15094 | |
| (=> (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 2332-2343 | |
| (=> (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 17047-17055 | |
| (=> (contraryAttribute @ROW) (=> (inList ?ELEMENT (ListFn @ROW)) (instance ?ELEMENT Attribute))) |
Merge.kif 457-461 |
| consequent |
|
|
| (=> (and (contraryAttribute @ROW1) (identicalListItems (ListFn @ROW1) (ListFn @ROW2))) (contraryAttribute @ROW2)) |
Merge.kif 463-467 | |
| (=> (oppositeDirection ?DIR1 ?DIR2) (contraryAttribute ?DIR1 ?DIR2)) |
Mid-level-ontology.kif 19721-19723 |
| 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 3.0 is open source software produced by Articulate Software and its partners