(=>
(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 |
