Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| contraryAttribute |
| appearance as argument number 1 |
|
| (instance contraryAttribute Predicate) | Merge.kif 447-447 | contrary attribute is an instance of predicate |
| (instance contraryAttribute VariableArityRelation) | Merge.kif 448-448 | contrary attribute is an instance of variable arity relation |
| (domain contraryAttribute 1 Attribute) | Merge.kif 449-449 | The number 1 argument of contrary attribute is an instance of attribute |
| (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 451-454 | The number 1 argument of contrary attribute is an instance of attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage contraryAttribute "contrary attribute") | domainEnglishFormat.kif 17010-17010 | |
| (termFormat ChineseTraditionalLanguage contraryAttribute "相反的屬性") | domainEnglishFormat.kif 17011-17011 | |
| (termFormat ChineseLanguage contraryAttribute "相反的属性") | domainEnglishFormat.kif 17012-17012 | |
| (format EnglishLanguage contraryAttribute "%1 is %n the opposite of %2") | english_format.kif 288-288 |
| antecedent |
|
|
| (=> (contraryAttribute @ROW) (=> (inList ?ELEMENT (ListFn @ROW)) (instance ?ELEMENT Attribute))) |
Merge.kif 456-460 | Assuming @ROW is the opposite of, it follows that: if Y is a member of (@ROW), then Y is an instance of attribute |
| (=> (and (contraryAttribute @ROW1) (identicalListItems (ListFn @ROW1) (ListFn @ROW2))) (contraryAttribute @ROW2)) |
Merge.kif 462-466 | If @ROW1 is the opposite of and (@ROW2) is an identical list items of (@ROW1), then @ROW2 is the opposite of |
| (=> (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 468-476 | If @ROW is the opposite of, equal Y and Z element of (@ROW), equal W and V element of (@ROW), equal U and T, and S the attribute Y, then S does not have the attribute W |
| (=> (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 17275-17283 | If X is Y to Z, @ROW is the opposite of, Y is a member of (@ROW), V is a member of (@ROW), and equal Y and V, then X is not V to Z |
| (=> (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)))) |
Mid-level-ontology.kif 32926-32937 | If X is an instance of animal, Y is an instance of the Z W, Z is the opposite of V, and healthy is an attribute of X, then there exists U such that U is an instance of the V W and Y is Z to U |
| (=> (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 2348-2359 | If X is an instance of bringing GE to front, Y is a patient of X, Y is an instance of interface window, Y has state Z holds during the beginning of X, and Z is the opposite of GUE uncovered state, then Y has state Z holds during the end of X |
| consequent |
|
|
| (=> (and (contraryAttribute @ROW1) (identicalListItems (ListFn @ROW1) (ListFn @ROW2))) (contraryAttribute @ROW2)) |
Merge.kif 462-466 | If @ROW1 is the opposite of and (@ROW2) is an identical list items of (@ROW1), then @ROW2 is the opposite of |
| (=> (oppositeDirection ?DIR1 ?DIR2) (contraryAttribute ?DIR1 ?DIR2)) |
Mid-level-ontology.kif 20077-20079 | If X is an opposite direction of Y, then Y is the opposite of X |
| appearance as argument number 0 |
|
|
|