traverses - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - traverses

traverses

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2125-2126
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4179-4181
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 779-781
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4176-4176	The number 1 argument of traverses is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4177-4177	The number 2 argument of traverses is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4174-4174	traverses is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4175-4175	traverses is an instance of spatial relation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 245-245
No TPTP formula. May not be expressible in strict first order.	english_format.kif 246-246
No TPTP formula. May not be expressible in strict first order.	french_format.kif 139-139
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 303-303
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1971-1971
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 91-91
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 314-314
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 339-339
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 158-158
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 144-144
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4189-4189	crosses is a subrelation of traverses
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4198-4198	penetrates is a subrelation of traverses
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59103-59103	penetrates is a subrelation of traverses
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 246-246	penetrates is a subrelation of traverses
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59102-59102	penetrates is a subrelation of traverses
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59101-59101	penetrates is a subrelation of traverses
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 101-101	penetrates is a subrelation of traverses

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 4183-4187

If an object traverses another object,
then the object crosses the other object or the object penetrates the other object

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3824-3831	If an object is equal to North Pole and the object is located at arctic region, then there exists another object such that planet earth is an axis of the other object and the other object traverses the object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3851-3858	If an object is equal to South Pole and the object is located at antarctica, then there exists another object such that planet earth is an axis of the other object and the other object traverses the object
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6130-6140	If open fracture is an attribute of an object holds during a time position, then there exist another object and a third object such that the other object is an instance of skin and the other object is a part of the object and the third object is an instance of bone and the third object is a part of the object and the third object traverses the other object holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4485-4493	If an object is an instance of basket, then there exist another object and a third object such that the other object is a part of the object and the third object is a part of the object and the other object traverses the third object and the other object is not equal to the third object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5686-5691	If an object is an instance of dam, then there exists another object such that the other object is an instance of water area and the object traverses the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4602-4615	If a physical is an instance of wickering, then the physical has the purpose there exist the physicalICK, another entity,, , the physicalARP and the physicalEFT such that the physicalICK is an instance of wicker and the physicalICK is a patient of the physical and the physicalARP is a part of the physicalICK and the physicalEFT is a part of the physicalICK and the physicalARP traverses the physicalEFT and the physicalARP is not equal to the physicalEFT and the other entity is a result of the physical and the other entity is an instance of artifact

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