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

(documentation inhabits ChineseLanguage "这是住在其他某样东西内最基本的概念。 (inhabits ?ORGANISM ?OBJECT)的意思是 ?OBJECT 是 ?ORGANISM 的住所(临时或永久的)、巢ホール如此类推。")	chinese_format.kif 3373-3374
(documentation inhabits EnglishLanguage "A very basic notion of living within something else. (inhabits ?ORGANISM ?OBJECT) means that ?OBJECT is the residence (either permanent or temporary), nest, etc. of ?ORGANISM.")	Merge.kif 14418-14420
(domain inhabits 1 Organism)	Merge.kif 14416-14416	The number 1 argument of inhabits is an instance of organism
(domain inhabits 2 Object)	Merge.kif 14417-14417	The number 2 argument of inhabits is an instance of object
(instance inhabits AsymmetricRelation)	Merge.kif 14415-14415	inhabits is an instance of asymmetric relation
(instance inhabits BinaryPredicate)	Merge.kif 14414-14414	inhabits is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage inhabits "%1 %n{doesn't} 住在 %2")	chinese_format.kif 521-521
(format EnglishLanguage inhabits "%1 %n{doesn't} live%p{s} in %2")	english_format.kif 526-526
(format FrenchLanguage inhabits "%1 %n{ne} vie %n{pas} � %2")	french_format.kif 308-308
(format ItalianLanguage inhabits "%1 %n{non} abita%p{s} in %2")	relations-it.txt 143-143
(format JapaneseLanguage inhabits "%1 は %2 に live%p{s} %n{ない}")	japanese_format.kif 2076-2076
(format PortugueseLanguage inhabits "%1 %n{nao} vive %n em %2")	portuguese_format.kif 260-260
(format cz inhabits "%1 %n{doesn't} live%p{s} in %2")	relations-cz.txt 314-314
(format de inhabits "%1 wohnt %n{nicht} in %2")	relations-de.txt 677-677
(format hi inhabits "%1 %2 men %n{nahiin} rahataa hai")	relations-hindi.txt 182-182
(format ro inhabits "%1 %n{nu} live%t{locuieºte} în %2")	relations-ro.kif 329-329
(format sv inhabits "%1 lever %n{inte} i %2")	relations-sv.txt 336-336
(format tg inhabits "%1 %n ay nabubuhay sa %2")	relations-tg.txt 290-290
(subrelation home inhabits)	Merge.kif 14430-14430	home is a subrelation of inhabits
(subrelation stays inhabits)	Merge.kif 14437-14437	stays is a subrelation of inhabits
(termFormat ChineseLanguage inhabits "居住")	chinese_format.kif 522-522	stays is a subrelation of inhabits
(termFormat ChineseLanguage inhabits "栖息")	domainEnglishFormat.kif 30102-30102	stays is a subrelation of inhabits
(termFormat ChineseTraditionalLanguage inhabits "棲息")	domainEnglishFormat.kif 30101-30101	stays is a subrelation of inhabits
(termFormat EnglishLanguage inhabits "inhabits")	domainEnglishFormat.kif 30100-30100	stays is a subrelation of inhabits
(termFormat tg inhabits "nabubuhay")	relations-tg.txt 291-291	stays is a subrelation of inhabits

antecedent

(=> (and (holdsDuring ?T1 (and (attribute ?PERSON DislocatedCivilian) (inhabits ?PERSON ?RESIDENCE) (located ?RESIDENCE ?PLACE))) (instance ?PLACE GeographicArea) (instance ?T1 TimeInterval)) (exists (?T0 ?PRIOR-PLACE ?PRIOR-RES) (and (instance ?T0 TimeInterval) (earlier ?T0 ?T1) (instance ?PRIOR-RES Object) (instance ?PRIOR-PLACE GeopoliticalArea) (located ?PRIOR-RES ?PRIOR-PLACE) (not (equal ?PLACE ?PRIOR-PLACE)) (not (equal ?RESIDENCE ?PRIOR-RES)) (not (geographicSubregion ?PLACE ?PRIOR-PLACE)) (not (geographicSubregion ?PRIOR-PLACE ?PLACE)) (holdsDuring ?T0 (inhabits ?PERSON ?PRIOR-RES)))))	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
(=> (and (instance ?BACTERIUM Bacterium) (inhabits ?BACTERIUM ?OBJ)) (instance ?OBJ Organism))	Merge.kif 14518-14522	If an organism is an instance of bacterium and the organism lives in an object, then the object is an instance of organism
(=> (and (instance ?FUNGUS Fungus) (inhabits ?FUNGUS ?OBJ)) (instance ?OBJ Organism))	Merge.kif 14477-14481	If an organism is an instance of fungus and the organism lives in an object, then the object is an instance of organism
(=> (and (instance ?VIRUS Virus) (inhabits ?VIRUS ?OBJ)) (instance ?OBJ Organism))	Merge.kif 14530-14534	If an organism is an instance of virus and the organism lives in an object, then the object is an instance of organism
(=> (holdsDuring ?T1 (and (attribute ?P DisplacedPerson) (inhabits ?P ?RES) (located ?RES ?PLACE) (citizen ?P ?NATION))) (not (partlyLocated ?PLACE ?NATION)))	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
(=> (holdsDuring ?T1 (and (attribute ?P InternallyDisplacedPerson) (inhabits ?P ?RES) (located ?RES ?PLACE) (citizen ?P ?NATION))) (partlyLocated ?PLACE ?NATION))	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
(=> (holdsDuring ?T1 (inhabits ?ORGANISM ?OBJ)) (exists (?TIME) (and (instance ?TIME TimeInterval) (temporalPart ?TIME ?T1) (holdsDuring ?TIME (located ?ORGANISM ?OBJ)))))	Merge.kif 14422-14428	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

(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (MigrantsPerThousandFn ?AREA ?YEAR) ?REALNUMBER)) (and (equal (SubtractionFn ?Y ?PY) 1) (instance ?PREVIOUSYEAR (YearFn ?PY)) (holdsDuring ?YEAR (equal (PopulationFn ?AREA) ?POPULATION)) (equal (DivisionFn ?POPULATION 1000) ?THOUSANDS) (equal ?IMMIGRATION (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (holdsDuring ?PREVIOUSYEAR (not (inhabits ?PERSON ?AREA))) (holdsDuring ?YEAR (inhabits ?PERSON ?AREA)))))) (equal ?EMMIGRATION (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (holdsDuring ?PREVIOUSYEAR (inhabits ?PERSON ?AREA)) (holdsDuring ?YEAR (not (inhabits ?PERSON ?AREA))))))) (equal (SubtractionFn ?IMMIGRATION ?EMMIGRATION) ?MIGRATIONCOUNT) (equal (DivisionFn ?MIGRATIONCOUNT ?THOUSANDS) ?REALNUMBER)))	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
(<=> (equal (MaleToFemaleRatioFn ?AREA) ?REALNUMBER) (and (equal ?MALECOUNT (CardinalityFn (KappaFn ?MALE (and (instance ?MALE Human) (attribute ?MALE Male) (inhabits ?MALE ?AREA))))) (equal ?FEMALECOUNT (CardinalityFn (KappaFn ?FEMALE (and (instance ?FEMALE Human) (attribute ?FEMALE Female) (inhabits ?FEMALE ?AREA))))) (equal (DivisionFn ?MALECOUNT ?FEMALECOUNT) ?REALNUMBER)))	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
(=> (and (attribute ?I Inhabited) (instance ?I Region)) (exists (?H) (and (instance ?H Human) (inhabits ?H ?I))))	Mid-level-ontology.kif 30377-30384	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
(=> (and (attribute ?U Uninhabited) (instance ?U Region)) (not (exists (?H) (and (instance ?H Human) (inhabits ?H ?U)))))	Mid-level-ontology.kif 30361-30369	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
(=> (and (holdsDuring ?T1 (and (attribute ?PERSON DislocatedCivilian) (inhabits ?PERSON ?RESIDENCE) (located ?RESIDENCE ?PLACE))) (instance ?PLACE GeographicArea) (instance ?T1 TimeInterval)) (exists (?T0 ?PRIOR-PLACE ?PRIOR-RES) (and (instance ?T0 TimeInterval) (earlier ?T0 ?T1) (instance ?PRIOR-RES Object) (instance ?PRIOR-PLACE GeopoliticalArea) (located ?PRIOR-RES ?PRIOR-PLACE) (not (equal ?PLACE ?PRIOR-PLACE)) (not (equal ?RESIDENCE ?PRIOR-RES)) (not (geographicSubregion ?PLACE ?PRIOR-PLACE)) (not (geographicSubregion ?PRIOR-PLACE ?PLACE)) (holdsDuring ?T0 (inhabits ?PERSON ?PRIOR-RES)))))	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
(=> (and (instance ?AGENT Human) (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (telephoneNumber ?NUMBER ?AGENT) (located ?DEVICE ?PLACE) (instance ?PLACE Residence)))) (holdsDuring ?TIME (inhabits ?AGENT ?PLACE)))	Mid-level-ontology.kif 25323-25332	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
(=> (and (instance ?I Immigrating) (agent ?I ?A)) (exists (?N1 ?N2) (and (instance ?N1 Nation) (instance ?N2 Nation) (origin ?I ?N1) (destination ?I ?N2) (not (equal ?N1 ?N2)) (member ?A (CitizenryFn ?N1)) (not (member ?A (CitizenryFn ?N2))) (hasPurpose ?I (inhabits ?A ?N2)))))	Mid-level-ontology.kif 17610-17626	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
(=> (and (instance ?S ?C) (subclass ?C Seafood)) (exists (?X ?SEA ?ANIMAL) (and (meatOfAnimal ?C ?ANIMAL) (instance ?X ?ANIMAL) (instance ?SEA BodyOfWater) (inhabits ?X ?SEA))))	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
(=> (habitatOfOrganism ?O ?L) (modalAttribute (exists (?OI) (and (instance ?OI ?O) (inhabits ?OI ?L))) Likely))	Mid-level-ontology.kif 30645-30652	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
(=> (instance ?ALGA Alga) (exists (?WATER) (and (inhabits ?ALGA ?WATER) (instance ?WATER Water))))	Merge.kif 14464-14469	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
(=> (instance ?B Burrow) (exists (?A) (hasPurpose ?B (inhabits ?A ?B))))	Geography.kif 6042-6046	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
(=> (instance ?B MilitaryBase) (exists (?H) (and (instance ?H Human) (attribute ?H MilitaryPerson) (inhabits ?H ?B))))	MilitaryProcesses.kif 2775-2781	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
(=> (instance ?BUILDING Building) (exists (?HUMAN) (and (instance ?HUMAN Human) (or (inhabits ?HUMAN ?BUILDING) (exists (?ACT) (and (agent ?ACT ?HUMAN) (located ?ACT ?BUILDING)))))))	Merge.kif 15789-15799	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
(=> (instance ?FISH Fish) (exists (?WATER) (and (inhabits ?FISH ?WATER) (instance ?WATER Water))))	Merge.kif 14619-14624	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
(=> (instance ?P (DemonymFn ?N)) (or (exists (?R) (and (located ?R ?N) (inhabits ?P ?R))) (birthplace ?P ?N)))	Mid-level-ontology.kif 30893-30900	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
(=> (instance ?R MobileResidence) (hasPurpose ?R (exists (?H ?T) (and (instance ?H Human) (instance ?T Translocation) (inhabits ?H ?R) (patient ?T ?R)))))	Mid-level-ontology.kif 6831-6839	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
(=> (instance ?RESIDENCE AnimalResidence) (hasPurpose ?RESIDENCE (exists (?ANIMAL) (and (instance ?ANIMAL Animal) (not (instance ?ANIMAL Human)) (inhabits ?ANIMAL ?RESIDENCE)))))	Mid-level-ontology.kif 7215-7222	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
(=> (parasite ?O1 ?O2) (inhabits ?O1 ?O2))	Mid-level-ontology.kif 6274-6276	If an organism is a parasite of another organism, then the other organism lives in the organism

statement

(and (instance ?YEAR (YearFn ?Y)) (equal (ChildrenBornPerWomanFn ?AREA ?YEAR) (CardinalityFn (KappaFn ?INFANT (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INFANT) (agent ?BIRTH ?WOMAN) (instance ?WOMAN Human) (attribute ?WOMAN Female) (holdsDuring ?YEAR (inhabits ?WOMAN ?AREA)))))))	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
(equal (AvailableForMilitaryServiceMaleFn ?AREA) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (attribute ?PERSON Male) (militaryAge ?AREA ?MILITARYAGE) (age ?PERSON ?AGE) (greaterThanOrEqualTo ?AGE ?MILITARYAGE) (inhabits ?PERSON ?AREA)))))	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
(equal (FitForMilitaryServiceMaleFn ?AREA) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (attribute ?PERSON Male) (subclass ?PROCESS MilitaryProcess) (fitForMilitaryService ?PERSON ?PROCESS) (militaryAge ?AREA ?MILITARYAGE) (age ?PERSON ?AGE) (greaterThanOrEqualTo ?AGE ?MILITARYAGE) (inhabits ?PERSON ?AREA)))))	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
(equal (PopulationFn ?AREA) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (inhabits ?PERSON ?AREA)))))	Mid-level-ontology.kif 31977-31982	The population of a geopolitical area is equal to the number of instances in the class described by a symbolic string
(equal (ReachingMilitaryAgeAnnuallyMaleFn ?AREA ?YEAR) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (attribute ?PERSON Male) (militaryAge ?AREA ?MILITARYAGE) (equal ?AGEMINUSONE (SubtractionFn ?AGE 1)) (holdsDuring ?YEAR (or (age ?PERSON ?AGEMINUSONE) (age ?PERSON ?AGE))) (equal ?AGE ?MILITARYAGE) (inhabits ?PERSON ?AREA)))))	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