orientation - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3786-3788
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17075-17079
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17072-17072	The number 1 argument of orientation is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17073-17073	The number 2 argument of orientation is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17074-17074	The number 3 argument of orientation is an instance of positional attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17070-17070	orientation is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17071-17071	orientation is an instance of ternary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 586-586
No TPTP formula. May not be expressible in strict first order.	english_format.kif 590-590
No TPTP formula. May not be expressible in strict first order.	french_format.kif 351-351
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 204-204
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2098-2098
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 303-303
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 359-359
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 767-767
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 242-242
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 373-373
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 389-389
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 390-390
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 587-587
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42613-42613
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42612-42612
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42611-42611
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 228-228
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 391-391

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10343-10346	An object is outside to another object if and only if the object is not partly located in the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17263-17267	An object is adjacent to another object if and only if the object is near to the other object or the object is connected to the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17251-17255	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.	Merge.kif 17188-17190	An object is east to another object if and only if the other object is west to the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17205-17207	An object is horizontal to another object if and only if the other object is horizontal to the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17178-17180	An object is north to another object if and only if the other object is south to the object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3641-3645	An object is northeast to another object if and only if the object is north to the other object and the object is east to the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3676-3680	An object is northwest to another object if and only if the object is north to the other object and the object is west to the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17284-17286	An object is right to another object if and only if the other object is left to the object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3652-3656	An object is southeast to another object if and only if the object is south to the other object and the object is east to the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3664-3668	An object is southwest to another object if and only if the object is south to the other object and the object is west to the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17196-17198	An object is vertical to another object if and only if the other object is vertical to the object
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1873-1895	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 1897-1919	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 1834-1842	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 1849-1856	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.	Medicine.kif 44-59	If a process is an instance of bleeding and an entity is an instance of death and a formula is an instance of human and an agent is an instance of human and the agent experiences the process and the formula is near to the agent and the statement the process causes the entity has the modal force of likely, then there exists another entity such that the other entity is an instance of applying a tourniquet and the formula is an agent of the other entity and the other entity ends up at the agent is obliged to perform tasks of type the formula
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6196-6201	If an object is an instance of seacoast and another object is an instance of water area and the other object is adjacent to the object, then the other object is an instance of salt water area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17164-17169	If a positional attribute is an instance of directional attribute and an object is the positional attribute to another object and the other object is the positional attribute to a third object, then the other object is between the object and the third object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2519-2532	If a process is an instance of fog and the process is located at a region and the region is an instance of geographic area and an object is an instance of atmospheric region and the object is above to the region and another object is an instance of aerosal and the other object located at time the time of existence of the process for the object and the visibility at the region during the time of existence of the process is a real number meter(s), then the real number is less than 1000.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2548-2562	If a process is an instance of atmospheric hazing and the process is located at a region and the region is an instance of geographic area and an object is an instance of atmospheric region and the object is above to the region and another object located at time the time of existence of the process for the object and the visibility at the region during the time of existence of the process is a real number kilometer(s), then the real number is greater than 2.0 and the real number is less than 5.0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17225-17229	If a positional attribute is an instance of anti_symmetric positional attribute and an object is the positional attribute to another object, then the other object is not the positional attribute to the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17214-17218	If a positional attribute is an instance of symmetric positional attribute and an object is the positional attribute to another object, then the other object is the positional attribute to the object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6222-6231	If an object is an instance of shore area and another object is an instance of water area and the object is adjacent to the other object, then there exists a third object such that the third object is an instance of shoreline and the third object is a part of the object and the third object meets the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11487-11492	If a transfer is an instance of transfer and the object transferred in the transfer is an object and the object2 is inside to the object, then the object transferred in the transfer is the object2

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3719-3721	An object courseWRT true north another object for 0.0 angular degree(s) if and only if the object is north to the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3743-3745	An object courseWRT true north another object for 135.0 angular degree(s) if and only if the object is southeast to the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3727-3729	An object courseWRT true north another object for 180.0 angular degree(s) if and only if the object is south to the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3747-3749	An object courseWRT true north another object for 225.0 angular degree(s) if and only if the object is southwest to the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3731-3733	An object courseWRT true north another object for 270.0 angular degree(s) if and only if the object is west to the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3751-3753	An object courseWRT true north another object for 315.0 angular degree(s) if and only if the object is northwest to the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3735-3737	An object courseWRT true north another object for 360.0 angular degree(s) if and only if the object is north to the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3739-3741	An object courseWRT true north another object for 45.0 angular degree(s) if and only if the object is northeast to the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3723-3725	An object courseWRT true north another object for 90.0 angular degree(s) if and only if the object is east to the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17263-17267	An object is adjacent to another object if and only if the object is near to the other object or the object is connected to the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17251-17255	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.	Merge.kif 17188-17190	An object is east to another object if and only if the other object is west to the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17205-17207	An object is horizontal to another object if and only if the other object is horizontal to the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17178-17180	An object is north to another object if and only if the other object is south to the object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3641-3645	An object is northeast to another object if and only if the object is north to the other object and the object is east to the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3676-3680	An object is northwest to another object if and only if the object is north to the other object and the object is west to the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17284-17286	An object is right to another object if and only if the other object is left to the object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3652-3656	An object is southeast to another object if and only if the object is south to the other object and the object is east to the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3664-3668	An object is southwest to another object if and only if the object is south to the other object and the object is west to the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17196-17198	An object is vertical to another object if and only if the other object is vertical to the object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 947-952	If an object is adjacent to a class, then there exists another object such that the other object is an instance of the class and the object is adjacent to the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7781-7783	If the altitude of an object relative to another object is a length measure, then the object is above to the other object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 4201-4225	If toxic and infectious substance is an attribute of an object and the object is an instance of substance or the object is an instance of microorganism, then there exist an agent, a process,, , another process and a third kind of process such that the agent is an instance of human or the agent is an instance of animal and the object is near to the agent and the process is an instance of inhaling or the process is an instance of ingesting or the process is an instance of touching and the agent is an agent of the process and the object is a patient of the process and the process causes the other process and the agent is a patient of the other process and the other process is an instance of a third kind of process and the object is capable of doing the third kind of process as a resource and the third kind of process is a subclass of injuring or the third kind of process is a subclass of death
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2693-2704	If concave is an attribute of a self connected object and the self connected object is a surface of another self connected object and an object is a part of the other self connected object and another object is a part of the other self connected object and a third object is equal to the line between the object and the other object and the object is not equal to the other object and a fourth object is a part of the third object, then the fourth object is outside to the self connected object
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2665-2676	If convex is an attribute of a self connected object and the self connected object is a surface of another self connected object and an object is a part of the other self connected object and another object is a part of the other self connected object and a third object is equal to the line between the object and the other object and the object is not equal to the other object and a fourth object is a part of the third object, then the fourth object is inside to the self connected object

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Geography.kif 282-282	Africa is southeast to north america
No TPTP formula. May not be expressible in strict first order.	Geography.kif 280-280	Africa is northeast to south america
No TPTP formula. May not be expressible in strict first order.	Geography.kif 281-281	Asia is northwest to oceania
No TPTP formula. May not be expressible in strict first order.	Geography.kif 290-290	Caribbean region is south to north america
No TPTP formula. May not be expressible in strict first order.	Geography.kif 289-289	Caribbean region is north to south america
No TPTP formula. May not be expressible in strict first order.	Geography.kif 275-275	Europe is north to africa
No TPTP formula. May not be expressible in strict first order.	Geography.kif 276-276	Europe is west to asia
No TPTP formula. May not be expressible in strict first order.	Geography.kif 277-277	Europe is east to north america
No TPTP formula. May not be expressible in strict first order.	Geography.kif 283-283	Europe is northeast to south america
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7036-7036	Ireland is west to Wales
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7035-7035	Isle of man is east to northern ireland
No TPTP formula. May not be expressible in strict first order.	Geography.kif 288-288	Middle america is south to north america
No TPTP formula. May not be expressible in strict first order.	Geography.kif 287-287	Middle america is north to south america
No TPTP formula. May not be expressible in strict first order.	Geography.kif 286-286	Middle east region is northeast to africa
No TPTP formula. May not be expressible in strict first order.	Geography.kif 285-285	Middle east region is southwest to asia
No TPTP formula. May not be expressible in strict first order.	Geography.kif 279-279	North america is east to asia
No TPTP formula. May not be expressible in strict first order.	Geography.kif 278-278	North america is north to south america
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7024-7024	Northern ireland is northwest to England
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7023-7023	Northern ireland is southwest to scotland
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7033-7033	Northern ireland is northwest to Wales
No TPTP formula. May not be expressible in strict first order.	Geography.kif 284-284	Oceania is southwest to north america
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7021-7021	Scotland is north to England
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7034-7034	Scotland is north to Wales
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7031-7031	Wales is west to England

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

KB Term:			Term intersection

English Word: