inhabits - Sigma Knowledge base Browser

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 14442-14444
(domain inhabits 1 Organism)	Merge.kif 14440-14440	域棲息, 1 and Organism
(domain inhabits 2 Object)	Merge.kif 14441-14441	域棲息, 2 and Object
(instance inhabits AsymmetricRelation)	Merge.kif 14439-14439	例棲息 and AsymmetricRelation
(instance inhabits BinaryPredicate)	Merge.kif 14438-14438	例棲息 and BinaryPredicate

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 14454-14454	子關係家 and 棲息
(subrelation stays inhabits)	Merge.kif 14461-14461	子關係停留 and 棲息
(termFormat ChineseLanguage inhabits "居住")	chinese_format.kif 522-522	子關係停留 and 棲息
(termFormat ChineseLanguage inhabits "栖息")	domainEnglishFormat.kif 30101-30101	子關係停留 and 棲息
(termFormat ChineseTraditionalLanguage inhabits "棲息")	domainEnglishFormat.kif 30100-30100	子關係停留 and 棲息
(termFormat EnglishLanguage inhabits "inhabits")	domainEnglishFormat.kif 30099-30099	子關係停留 and 棲息
(termFormat de inhabits "wohnt")	terms-de.txt 205-205	子關係停留 and 棲息
(termFormat tg inhabits "nabubuhay")	relations-tg.txt 291-291	子關係停留 and 棲息

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	持有期間 TimeInterval and attribute entity and 平民流離失所棲息 entity and entity 位於 entity and GeographicArea 例 GeographicArea and GeographicArea 例 TimeInterval and TimeInterval TimeInterval entity_PLACE and entity_RES 例 TimeInterval and TimeInterval 早期 TimeInterval and TimeInterval 例 entity_RES and Object 例 entity_PLACE and GeopoliticalArea 位於 entity_RES and entity_PLACE 等於 GeographicArea and entity_PLACE 等於 entity and entity_RES GeographicArea 是 entity_PLACE 的 geographic 次要地區 entity_PLACE 是 GeographicArea 的 geographic 次要地區持有期間 TimeInterval and 棲息 entity and entity_RES
(=> (and (instance ?BACTERIUM Bacterium) (inhabits ?BACTERIUM ?OBJ)) (instance ?OBJ Organism))	Merge.kif 14542-14546	例 Organism and Bacterium 棲息 Organism and Object 例 Object and Organism
(=> (and (instance ?FUNGUS Fungus) (inhabits ?FUNGUS ?OBJ)) (instance ?OBJ Organism))	Merge.kif 14501-14505	例 Organism and Fungus 棲息 Organism and Object 例 Object and Organism
(=> (and (instance ?VIRUS Virus) (inhabits ?VIRUS ?OBJ)) (instance ?OBJ Organism))	Merge.kif 14554-14558	例 Organism and Virus 棲息 Organism and Object 例 Object and Organism
(=> (holdsDuring ?T1 (and (attribute ?P DisplacedPerson) (inhabits ?P ?RES) (located ?RES ?PLACE) (citizen ?P ?NATION))) (not (partlyLocated ?PLACE ?NATION)))	MilitaryPersons.kif 70-78	持有期間 TimePosition and attribute entity and 流離失所者棲息 entity and entity 位於 entity and entityLACE 公民 entity and Object 部分位於 entityLACE and Object
(=> (holdsDuring ?T1 (and (attribute ?P InternallyDisplacedPerson) (inhabits ?P ?RES) (located ?RES ?PLACE) (citizen ?P ?NATION))) (partlyLocated ?PLACE ?NATION))	MilitaryPersons.kif 92-99	持有期間 TimePosition and attribute entity and 國內流離失所者棲息 entity and entity 位於 entity and entityLACE 公民 entity and Object 部分位於 entityLACE and Object
(=> (holdsDuring ?T1 (inhabits ?ORGANISM ?OBJ)) (exists (?TIME) (and (instance ?TIME TimeInterval) (temporalPart ?TIME ?T1) (holdsDuring ?TIME (located ?ORGANISM ?OBJ)))))	Merge.kif 14446-14452	持有期間 TimePosition and 棲息 entity and entity TimePosition 例 TimePosition and TimeInterval 時間部分 TimePosition and TimePosition 持有期間 TimePosition and 位於 entity and entity

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	例年 and 年 Integer 等於 GeopoliticalArea 和年每一千的 migrants and RealNumber 等於減法 Integer and Integer and 1 例 Entity and 年 Integer 持有期間年 and 等於 GeopoliticalArea 的 population and RealNumber 等於部 RealNumber and 1000 and RealNumber 等於 Integer and 基數卡帕 SymbolicString and 例 SymbolicString and Human 持有期間 Entity and 棲息 SymbolicString and GeopoliticalArea 持有期間年 and 棲息 SymbolicString and GeopoliticalArea 等於 Integer and 基數卡帕 SymbolicString and 例 SymbolicString and Human 持有期間 Entity and 棲息 SymbolicString and GeopoliticalArea 持有期間年 and 棲息 SymbolicString and GeopoliticalArea 等於減法 Integer and Integer and RealNumber 等於部 RealNumber and RealNumber and RealNumber
(<=> (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	等於 GeopoliticalArea 的 male 對母性比率 and RealNumber 等於 Integer and 基數卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 男棲息 SymbolicString and GeopoliticalArea 等於 Integer and 基數卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 女棲息 SymbolicString and GeopoliticalArea 等於部 Integer and Integer and RealNumber
(=> (and (attribute ?I Inhabited) (instance ?I Region)) (exists (?H) (and (instance ?H Human) (inhabits ?H ?I))))	Mid-level-ontology.kif 31037-31044	attribute Object and Inhabited 例 Object and Region Organism 例 Organism and Human 棲息 Organism and Object
(=> (and (attribute ?U Uninhabited) (instance ?U Region)) (not (exists (?H) (and (instance ?H Human) (inhabits ?H ?U)))))	Mid-level-ontology.kif 31021-31029	attribute Object and Uninhabited 例 Object and Region Organism 例 Organism and Human 棲息 Organism and 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	持有期間 TimeInterval and attribute entity and 平民流離失所棲息 entity and entity 位於 entity and GeographicArea 例 GeographicArea and GeographicArea 例 TimeInterval and TimeInterval TimeInterval entity_PLACE and entity_RES 例 TimeInterval and TimeInterval 早期 TimeInterval and TimeInterval 例 entity_RES and Object 例 entity_PLACE and GeopoliticalArea 位於 entity_RES and entity_PLACE 等於 GeographicArea and entity_PLACE 等於 entity and entity_RES GeographicArea 是 entity_PLACE 的 geographic 次要地區 entity_PLACE 是 GeographicArea 的 geographic 次要地區持有期間 TimeInterval and 棲息 entity and entity_RES
(=> (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 25983-25992	例 Entity and Human 持有期間 TimePosition and entity 有 number entity entity 是 Entity 的 telephone number 位於 entity and entity 例 entity and 住宅持有期間 TimePosition and 棲息 Entity and entity
(=> (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 18270-18286	例 Process and 移民 agent Process and AutonomousAgent GeopoliticalArea GeopoliticalArea 例 GeopoliticalArea and Nation 例 GeopoliticalArea and Nation 起源 Process and GeopoliticalArea 目的地 Process and GeopoliticalArea 等於 GeopoliticalArea and GeopoliticalArea 會員 AutonomousAgent and GeopoliticalArea 的 citizenry 會員 AutonomousAgent and GeopoliticalArea 的 citizenry 有目的 Process and 棲息 AutonomousAgent and GeopoliticalArea
(=> (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	例 Entity and Meat 子類 Meat and 海鮮 Organism EntityEA and Animal Meat 是 Animal 的 meat 例 Organism and Animal 例 EntityEA and 水體棲息 Organism and EntityEA
(=> (habitatOfOrganism ?O ?L) (modalAttribute (exists (?OI) (and (instance ?OI ?O) (inhabits ?OI ?L))) Likely))	Mid-level-ontology.kif 31331-31338	Organism inhabits GeographicArea 模態屬性 OrganismI 例 OrganismI and Organism 棲息 OrganismI and GeographicArea and 容易
(=> (instance ?ALGA Alga) (exists (?WATER) (and (inhabits ?ALGA ?WATER) (instance ?WATER Water))))	Merge.kif 14488-14493	例 Organism and Alga Object 棲息 Organism and Object 例 Object and Water
(=> (instance ?B Burrow) (exists (?A) (hasPurpose ?B (inhabits ?A ?B))))	Geography.kif 6111-6115	例 Physical and 地洞 entity 有目的 Physical and 棲息 entity and Physical
(=> (instance ?B MilitaryBase) (exists (?H) (and (instance ?H Human) (attribute ?H MilitaryPerson) (inhabits ?H ?B))))	MilitaryProcesses.kif 2755-2761	例 Object and MilitaryBase Organism 例 Organism and Human attribute Organism and 軍人棲息 Organism and 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 15810-15820	例 Object and Building Organism 例 Organism and Human 棲息 Organism and Object Process agent Process and Organism 位於 Process and Object
(=> (instance ?FISH Fish) (exists (?WATER) (and (inhabits ?FISH ?WATER) (instance ?WATER Water))))	Merge.kif 14643-14648	例 Organism and Fish Object 棲息 Organism and Object 例 Object and Water
(=> (instance ?P (DemonymFn ?N)) (or (exists (?R) (and (located ?R ?N) (inhabits ?P ?R))) (birthplace ?P ?N)))	Mid-level-ontology.kif 31579-31586	例 Animal and DemonymFn GeographicArea Object 位於 Object and GeographicArea 棲息 Animal and Object GeographicArea 是 Animal 的 birthplace
(=> (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 7313-7321	例 Physical and 移動住宅有目的 Physical and entity entity 例 entity and Human 例 entity and 易位棲息 entity and Physical 患者 entity and Physical
(=> (instance ?RESIDENCE AnimalResidence) (hasPurpose ?RESIDENCE (exists (?ANIMAL) (and (instance ?ANIMAL Animal) (not (instance ?ANIMAL Human)) (inhabits ?ANIMAL ?RESIDENCE)))))	Mid-level-ontology.kif 7697-7704	例 Physical and 動物住所有目的 Physical and entity 例 entity and Animal 例 entity and Human 棲息 entity and Physical
(=> (parasite ?O1 ?O2) (inhabits ?O1 ?O2))	Mid-level-ontology.kif 6756-6758	Organism 是 Organism 的 parasite 棲息 Organism and 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	例年 and 年 Integer 等於 GeopoliticalArea 和年每個女人生的 children and 基數卡帕 SymbolicString and 例 entity and Birth 體驗者 entity and SymbolicString agent entity and entity 例 entity and Human attribute entity and 女持有期間年 and 棲息 entity and GeopoliticalArea
(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	等於 GeopoliticalArea 的 available 軍事服務男性 and 基數卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 男 entity 是 GeopoliticalArea 的 military 年紀年齡 SymbolicString and entity 大於或等於 entity and entity 棲息 SymbolicString and GeopoliticalArea
(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	等於 GeopoliticalArea 的 fit 對於軍服務男性 and 基數卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 男子類 entity and MilitaryProcess entity 是 SymbolicString 的 fit 軍事服務 entity 是 GeopoliticalArea 的 military 年紀年齡 SymbolicString and entity 大於或等於 entity and entity 棲息 SymbolicString and GeopoliticalArea
(equal (PopulationFn ?AREA) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (inhabits ?PERSON ?AREA)))))	Mid-level-ontology.kif 32664-32669	等於 GeopoliticalArea 的 population and 基數卡帕 SymbolicString and 例 SymbolicString and Human 棲息 SymbolicString and GeopoliticalArea
(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	等於 GeopoliticalArea 和年每年的 reaching 軍事男性年齡 and 基數卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 男 entity 是 GeopoliticalArea 的 military 年紀等於 entity and 減法 entity and 1 持有期間年 and 年齡 SymbolicString and entity 年齡 SymbolicString and entity 等於 entity and entity 棲息 SymbolicString and GeopoliticalArea

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: