inhabits - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3373-3374
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14442-14444
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14440-14440	The number 1 argument of inhabits is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14441-14441	The number 2 argument of inhabits is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14439-14439	inhabits is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14438-14438	inhabits is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 521-521
No TPTP formula. May not be expressible in strict first order.	english_format.kif 526-526
No TPTP formula. May not be expressible in strict first order.	french_format.kif 308-308
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 143-143
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2076-2076
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 260-260
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 314-314
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 677-677
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 182-182
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 329-329
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 336-336
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 290-290
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14454-14454	home is a subrelation of inhabits
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14461-14461	stays is a subrelation of inhabits
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 522-522	stays is a subrelation of inhabits
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30101-30101	stays is a subrelation of inhabits
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30100-30100	stays is a subrelation of inhabits
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30099-30099	stays is a subrelation of inhabits
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 205-205	stays is a subrelation of inhabits
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 291-291	stays is a subrelation of inhabits

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 26-47	If dislocated civilian is an attribute of an entity and the entity lives in another entity and the other entity is located at a geographic area holds during a time interval and the geographic area is an instance of geographic area and the time interval is an instance of time interval, then there exist another time interval, a third entity_PLACE and the third entity_RES such that the other time interval is an instance of time interval and the other time interval happens earlier than the time interval and the third entity_RES is an instance of object and the third entity_PLACE is an instance of geopolitical area and the third entity_RES is located at the third entity_PLACE and the geographic area is not equal to the third entity_PLACE and the other entity is not equal to the third entity_RES and the geographic area is not a geographic subregion of the third entity_PLACE and the third entity_PLACE is not a geographic subregion of the geographic area and the entity lives in the third entity_RES holds during the other time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14542-14546	If an organism is an instance of bacterium and the organism lives in an object, then the object is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14501-14505	If an organism is an instance of fungus and the organism lives in an object, then the object is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14554-14558	If an organism is an instance of virus and the organism lives in an object, then the object is an instance of organism
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 70-78	If displaced person is an attribute of an entity and the entity lives in another entity and the other entity is located at the entityLACE and the entity is a citizen of an object holds during a time position, then the entityLACE is not partly located in the object
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 92-99	If internally displaced person is an attribute of an entity and the entity lives in another entity and the other entity is located at the entityLACE and the entity is a citizen of an object holds during a time position, then the entityLACE is partly located in the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14446-14452	If an entity lives in another entity holds during a time position, then there exists another time position such that the other time position is an instance of time interval and the other time position is a part of the time position and the entity is located at the other entity holds during the other time position

consequent

No TPTP formula. May not be expressible in strict first order.	People.kif 156-187	A year is an instance of the year an integer and the migrants per thousand of a geopolitical area and the year is equal to a real number if and only if (the integer and another integer) is equal to 1 and an entity is an instance of the year the other integer and the population of the geopolitical area is equal to another real number holds during the year and the other real number and 1000 is equal to a third real number and a third integer is equal to the number of instances in the class described by a symbolic string and a fourth integer is equal to the number of instances in the class described by the symbolic string and (the third integer and the fourth integer) is equal to a fourth real number and the fourth real number and the third real number is equal to the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 206-223	The male to female ratio of a geopolitical area is equal to a real number if and only if an integer is equal to the number of instances in the class described by a symbolic string and another integer is equal to the number of instances in the class described by another symbolic string and the integer and the other integer is equal to the real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31037-31044	If inhabited is an attribute of an object and the object is an instance of region, then there exists an organism such that the organism is an instance of human and the organism lives in the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31021-31029	If uninhabited is an attribute of an object and the object is an instance of region, then there doesn't exist an organism such that the organism is an instance of human and the organism lives in the object
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 26-47	If dislocated civilian is an attribute of an entity and the entity lives in another entity and the other entity is located at a geographic area holds during a time interval and the geographic area is an instance of geographic area and the time interval is an instance of time interval, then there exist another time interval, a third entity_PLACE and the third entity_RES such that the other time interval is an instance of time interval and the other time interval happens earlier than the time interval and the third entity_RES is an instance of object and the third entity_PLACE is an instance of geopolitical area and the third entity_RES is located at the third entity_PLACE and the geographic area is not equal to the third entity_PLACE and the other entity is not equal to the third entity_RES and the geographic area is not a geographic subregion of the third entity_PLACE and the third entity_PLACE is not a geographic subregion of the geographic area and the entity lives in the third entity_RES holds during the other time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25983-25992	If an entity is an instance of human and another entity has number a third entity and the third entity is the telephone number of the entity and the other entity is located at a fourth entity and the fourth entity is an instance of residence holds during a time position, then the entity lives in the fourth entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18270-18286	If a process is an instance of immigrating and an agent is an agent of the process, then there exist a geopolitical area and another geopolitical area such that the geopolitical area is an instance of nation and the other geopolitical area is an instance of nation and the process originates at the geopolitical area and the process ends up at the other geopolitical area and the geopolitical area is not equal to the other geopolitical area and the agent is a member of the citizenry of the geopolitical area and the agent is not a member of the citizenry of the other geopolitical area and the process has the purpose the agent lives in the other geopolitical area
No TPTP formula. May not be expressible in strict first order.	Food.kif 1928-1937	If an entity is an instance of a kind of meat and a kind of meat is a subclass of seafood, then there exist an organism, the entityEA and a kind of animal such that the kind of meat is the meat of a kind of animal and the organism is an instance of the kind of animal and the entityEA is an instance of body of water and the organism lives in the entityEA
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31331-31338	If a kind of organism inhabits a geographic area, then the statement there exists a kind of organismI such that the kind of organismI is an instance of the kind of organism and the kind of organismI lives in the geographic area has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14488-14493	If an organism is an instance of alga, then there exists an object such that the organism lives in the object and the object is an instance of water
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6111-6115	If a physical is an instance of burrow, then there exists an entity such that the physical has the purpose the entity lives in the physical
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2755-2761	If an object is an instance of military base, then there exists an organism such that the organism is an instance of human and military person is an attribute of the organism and the organism lives in the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15810-15820	If an object is an instance of building, then there exists an organism such that the organism is an instance of human and the organism lives in the object or there exists a process such that the organism is an agent of the process and the process is located at the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14643-14648	If an organism is an instance of fish, then there exists an object such that the organism lives in the object and the object is an instance of water
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31579-31586	If an animal is an instance of a geographic area-ian, then there exists an object such that the object is located at the geographic area and the animal lives in the object or the geographic area is a birthplace of the animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7313-7321	If a physical is an instance of mobile residence, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of human and the other entity is an instance of translocation and the entity lives in the physical and the physical is a patient of the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7697-7704	If a physical is an instance of animal residence, then the physical has the purpose there exists an entity such that the entity is an instance of animal and the entity is not an instance of human and the entity lives in the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6756-6758	If an organism is a parasite of another organism, then the other organism lives in the organism

statement

No TPTP formula. May not be expressible in strict first order.	People.kif 456-469	A year is an instance of the year an integer and the children born per woman of a geopolitical area and the year is equal to the number of instances in the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	Military.kif 863-872	The available for military service male of a geopolitical area is equal to the number of instances in the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	Military.kif 886-897	The fit for military service male of a geopolitical area is equal to the number of instances in the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32664-32669	The population of a geopolitical area is equal to the number of instances in the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	Military.kif 924-937	The reaching military age annually male of a geopolitical area and a year is equal to the number of instances in the class described by a symbolic string

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: