TreeView Knowledge Base Browser - On

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

On

Sigma KEE - On

On(on)

aboveground, ahorse, ahorseback, cap, capped, crest, crowned, grade-constructed, horseback, overlying, superimposed, superincumbent, surface, surmount, surmounted

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3830-3831
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17164-17166
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10165-10165
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17163-17163	On is an instance of anti-symmetric positional attribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42108-42108
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42107-42107
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42106-42106
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 539-539

antecedent

No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1838-1860	If lateral recumbant is an attribute of an object and the object is on to another object holds during a time position and a third object is an instance of left arm and the third object is a part of the object and a fourth object is an instance of right arm and the fourth object is a part of the object and a fifth object is an instance of left leg and the fifth object is a part of the object and a sixth object is an instance of right leg and the sixth object is a part of the object and the third object meets the other object or the fifth object meets the other object, then the fourth object doesn't meet the other object and the sixth object doesn't meet the other object holds during the time position
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1862-1884	If lateral recumbant is an attribute of an object and the object is on to another object holds during a time position and a third object is an instance of left arm and the third object is a part of the object and a fourth object is an instance of right arm and the fourth object is a part of the object and a fifth object is an instance of left leg and the fifth object is a part of the object and a sixth object is an instance of right leg and the sixth object is a part of the object and the fourth object meets the other object or the sixth object meets the other object, then the third object doesn't meet the other object and the fifth object doesn't meet the other object holds during the time position
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1799-1807	If prone is an attribute of an object and the object is on to another object holds during a time position and a third object is an instance of chest and the third object is a part of the object, then the third object meets the other object
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1814-1821	If supine is an attribute of a self connected object and the self connected object is on to an object holds during a time position and another self connected object is equal to the back of the self connected object, then the other self connected object meets the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11381-11386	If a transfer is an instance of transfer and the object transferred in the transfer is an object and the object2 is on to the object, then the object transferred in the transfer is the object2
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17168-17170	If an object is on to another object, then the object is connected to the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17172-17174	If an object is on to another object, then the object is located at the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17180-17183	If an object is on to another object, then the other object is not on to the object

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17113-17117	An object is below to another object if and only if the other object is on to the object or the other object is above to the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4078-4095	If a geometric figure is an attribute of an object and the object is an instance of four-poster bed and the geometric figure is an instance of quadrilateral and the size of the geometric figure is an one dimensional figure and the size of the geometric figure is another one dimensional figure and the one dimensional figure is not equal to the other one dimensional figure, then there exist another object, a third object,, , a geometric point and a fourth object such that the other object is a part of the object and the third object is an instance of floor and the object is on to the third object and the other object is vertical to the third object and the one dimensional figure is point of intersection the other one dimensional figure for the geometric point and the geometric point is an attribute of the fourth object and the fourth object meets the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20002-20014	If a process is an instance of dismounting and an agent is an agent of the process and an entity is a patient of the process, then the agent is on to the entity holds during the beginning of the time of existence of the process and the agent is not on to the entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 469-480	If a process is an instance of mounting and an agent is an agent of the process and an entity is a patient of the process, then the agent is not on to the entity holds during the beginning of the time of existence of the process and the agent is on to the entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4054-4061	If a corpuscular object is an instance of bed and another corpuscular object is a component of the corpuscular object and the other corpuscular object is an instance of bed frame and a third corpuscular object is a component of the corpuscular object and the third corpuscular object is an instance of mattress, then the third corpuscular object is on to the other corpuscular object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4776-4786	If a physical is an instance of all-terrain vehicle, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of transportation and the physical is an instrument for the entity and the physical is on to the other entity holds during the time of existence of the entity and the other entity is not an instance of roadway
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25201-25212	If a physical is an instance of ironing board, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of ironing and the third entity is a patient of the entity and the other entity is a part of the third entity and the other entity is an instance of fabric and the third entity is on to the physical holds during the time of existence of the entity
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6072-6079	If an object is an instance of submerged land area, then there exists another object such that the other object is an instance of water area and the object is below to the other object and the other object is on to the object and the object meets the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25847-25856	If a physical is an instance of prayer mat, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of praying and the other entity is an agent of the entity and the other entity is an instance of human and the other entity is on to the physical holds during the time of existence of the entity
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 66-71	If an object is an instance of street parking, then there exists another object such that the other object is an instance of street and the object is on to the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4041-4047	If a physical is an instance of mattress, then the physical has the purpose there exists an entity such that asleep is an attribute of the entity and the entity is on to the physical
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 925-930	If an object is on a kind of physical, then there exists another object such that the other object is an instance of a kind of physical and the object is on to the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17180-17183	If an object is on to another object, then the other object is not on to the object

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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