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 17007-17011
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17004-17004	The number 1 argument of orientation is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17005-17005	The number 2 argument of orientation is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17006-17006	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 17002-17002	orientation is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17003-17003	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 9819-9822	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 17195-17199	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 17183-17187	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 17120-17122	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 17137-17139	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 17110-17112	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 17216-17218	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 17128-17130	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 1837-1859	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 1861-1883	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 1798-1806	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 1813-1820	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 6195-6200	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 17096-17101	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 17157-17161	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 17146-17150	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 6221-6230	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 11423-11428	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 17195-17199	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 17183-17187	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 17120-17122	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 17137-17139	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 17110-17112	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 17216-17218	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 17128-17130	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 939-944	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 7752-7754	If the altitude of an object is another object, then the object is above to the other object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 4197-4221	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 7034-7034	Ireland is west to Wales
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7033-7033	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 7022-7022	Northern ireland is northwest to England
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7021-7021	Northern ireland is southwest to scotland
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7031-7031	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 7019-7019	Scotland is north to England
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7032-7032	Scotland is north to Wales
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7029-7029	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: