inhabits - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - inhabits

inhabits

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 14342-14344
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14340-14340	The number 1 argument of inhabits is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14341-14341	The number 2 argument of inhabits is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14339-14339	inhabits is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14338-14338	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 14354-14354	home is a subrelation of inhabits
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14361-14361	stays is a subrelation of inhabits
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 522-522
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30079-30079
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30078-30078
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30077-30077
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 291-291

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 14442-14446	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 14401-14405	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 14454-14458	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 14346-14352	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 182-213	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 232-249	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 30037-30044	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 30021-30029	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 24984-24993	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 17324-17340	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 30305-30312	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 14388-14393	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 6020-6024	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.	Merge.kif 15713-15723	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 14543-14548	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 30553-30560	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 6969-6976	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 6252-6254	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 482-495	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 872-881	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 895-906	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.	People.kif 49-54	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 933-946	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