| 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 458-461 | |
| (domain contraryAttribute 1 Attribute) | Merge.kif 456-456 | |
| (instance contraryAttribute Predicate) | Merge.kif 454-454 | |
| (instance contraryAttribute VariableArityRelation) | Merge.kif 455-455 |
| 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 291-291 | |
| (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 469-473 | |
| (=> (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 14282-14293 | |
| (=> (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 2361-2372 | |
| (=> (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 16139-16147 | |
| (=> (contraryAttribute @ROW) (=> (inList ?ELEMENT (ListFn @ROW)) (instance ?ELEMENT Attribute))) |
Merge.kif 463-467 | |
| (=> (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 475-485 |
| consequent |
|
|
| (=> (and (contraryAttribute @ROW1) (identicalListItems (ListFn @ROW1) (ListFn @ROW2))) (contraryAttribute @ROW2)) |
Merge.kif 469-473 | |
| (=> (oppositeDirection ?DIR1 ?DIR2) (contraryAttribute ?DIR1 ?DIR2)) |
Mid-level-ontology.kif 16861-16863 |
| 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