| 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 14525-14527 | |
| (domain inhabits 1 Organism) | Merge.kif 14523-14523 | 居住 的 1 数量 是 生物 的 instance |
| (domain inhabits 2 Object) | Merge.kif 14524-14524 | 居住 的 2 数量 是 客体 的 instance |
| (instance inhabits AsymmetricRelation) | Merge.kif 14522-14522 | 居住 是 非对称关系 的 instance |
| (instance inhabits BinaryPredicate) | Merge.kif 14521-14521 | 居住 是 二元谓语 的 instance |
| 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 14537-14537 | 家 是 居住 的 subrelation |
| (subrelation stays inhabits) | Merge.kif 14544-14544 | 停留 是 居住 的 subrelation |
| (termFormat ChineseLanguage inhabits "居住") | chinese_format.kif 522-522 | 停留 是 居住 的 subrelation |
| (termFormat ChineseLanguage inhabits "栖息") | domainEnglishFormat.kif 30084-30084 | 停留 是 居住 的 subrelation |
| (termFormat ChineseTraditionalLanguage inhabits "棲息") | domainEnglishFormat.kif 30083-30083 | 停留 是 居住 的 subrelation |
| (termFormat EnglishLanguage inhabits "inhabits") | domainEnglishFormat.kif 30082-30082 | 停留 是 居住 的 subrelation |
| (termFormat de inhabits "wohnt") | terms-de.txt 205-205 | 停留 是 居住 的 subrelation |
| (termFormat tg inhabits "nabubuhay") | relations-tg.txt 291-291 | 停留 是 居住 的 subrelation |
| antecedent |
|
|
| (<=> (inhabits ?I ?L) (instance ?I Inhabitant)) |
Mid-level-ontology.kif 32331-32333 | 生物 住在 客体 若且唯若 那个 生物 是 Inhabitant 的 instance |
| (=> (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 |
|
| (=> (and (instance ?BACTERIUM Bacterium) (inhabits ?BACTERIUM ?OBJ)) (instance ?OBJ Organism)) |
Merge.kif 14625-14629 | |
| (=> (and (instance ?FUNGUS Fungus) (inhabits ?FUNGUS ?OBJ)) (instance ?OBJ Organism)) |
Merge.kif 14584-14588 | |
| (=> (and (instance ?VIRUS Virus) (inhabits ?VIRUS ?OBJ)) (instance ?OBJ Organism)) |
Merge.kif 14637-14641 | |
| (=> (holdsDuring ?T1 (and (attribute ?P DisplacedPerson) (inhabits ?P ?RES) (located ?RES ?PLACE) (citizen ?P ?NATION))) (not (partlyLocated ?PLACE ?NATION))) |
MilitaryPersons.kif 70-78 | |
| (=> (holdsDuring ?T1 (and (attribute ?P InternallyDisplacedPerson) (inhabits ?P ?RES) (located ?RES ?PLACE) (citizen ?P ?NATION))) (partlyLocated ?PLACE ?NATION)) |
MilitaryPersons.kif 92-99 | |
| (=> (holdsDuring ?T1 (inhabits ?ORGANISM ?OBJ)) (exists (?TIME) (and (instance ?TIME TimeInterval) (temporalPart ?TIME ?T1) (holdsDuring ?TIME (located ?ORGANISM ?OBJ))))) |
Merge.kif 14529-14535 |
|
| 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 | 年 是 整数 year 的 instance 和 equal 地缘政治区域 和 那个 年 每一千的 migrants and 实数 若且唯若 equal (那个 整数 和 另一个 整数) and 1 和 实体 是 那个 另外 整数 year 的 instance 和 equal 那个 地缘政治区域 的 population and 另一个 实数 在 那个 年 holdsDuring 和 equal 那个 另外 实数 和 1000 and 第三 实数 和 equal 第三 整数 and 符号串 所描述的类别 instance 的数量 和 equal 第四 整数 and 那个 符号串 所描述的类别 instance 的数量 和 equal (那个 第三 整数 和 那个 第四 整数) and 第四 实数 和 equal 那个 第四 实数 和 那个 第三 实数 and 那个 实数 |
| (<=> (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 | equal 地缘政治区域 的 male 对母性比率 and 实数 若且唯若 equal 整数 and 符号串 所描述的类别 instance 的数量 和 equal 另一个 整数 and 另一个 符号串 所描述的类别 instance 的数量 和 equal 那个 整数 和 那个 另外 整数 and 那个 实数 |
| (=> (and (attribute ?I Inhabited) (instance ?I Region)) (exists (?H) (and (instance ?H Human) (inhabits ?H ?I)))) |
Mid-level-ontology.kif 32012-32019 | |
| (=> (and (attribute ?U Uninhabited) (instance ?U Region)) (not (exists (?H) (and (instance ?H Human) (inhabits ?H ?U))))) |
Mid-level-ontology.kif 31996-32004 | |
| (=> (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 |
|
| (=> (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 26697-26706 | |
| (=> (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 18903-18919 |
|
| (=> (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 1934-1943 | |
| (=> (habitatOfOrganism ?O ?L) (modalAttribute (exists (?OI) (and (instance ?OI ?O) (inhabits ?OI ?L))) Likely)) |
Mid-level-ontology.kif 32306-32313 | |
| (=> (instance ?ALGA Alga) (exists (?WATER) (and (inhabits ?ALGA ?WATER) (instance ?WATER Water)))) |
Merge.kif 14571-14576 | |
| (=> (instance ?B Burrow) (exists (?A) (hasPurpose ?B (inhabits ?A ?B)))) |
Geography.kif 6345-6349 | |
| (=> (instance ?B MilitaryBase) (exists (?H) (and (instance ?H Human) (attribute ?H MilitaryPerson) (inhabits ?H ?B)))) |
MilitaryProcesses.kif 2758-2764 | |
| (=> (instance ?BUILDING Building) (exists (?HUMAN) (and (instance ?HUMAN Human) (or (inhabits ?HUMAN ?BUILDING) (exists (?ACT) (and (agent ?ACT ?HUMAN) (located ?ACT ?BUILDING))))))) |
Merge.kif 15893-15903 | |
| (=> (instance ?FISH Fish) (exists (?WATER) (and (inhabits ?FISH ?WATER) (instance ?WATER Water)))) |
Merge.kif 14726-14731 | |
| (=> (instance ?I Inhabitant) (exists (?L) (and (instance ?L Object) (inhabits ?I ?L)))) |
Mid-level-ontology.kif 32324-32329 | |
| (=> (instance ?P (DemonymFn ?N)) (or (exists (?R) (and (located ?R ?N) (inhabits ?P ?R))) (birthplace ?P ?N))) |
Mid-level-ontology.kif 32570-32577 | |
| (=> (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 7774-7782 | |
| (=> (instance ?RESIDENCE AnimalResidence) (hasPurpose ?RESIDENCE (exists (?ANIMAL) (and (instance ?ANIMAL Animal) (not (instance ?ANIMAL Human)) (inhabits ?ANIMAL ?RESIDENCE))))) |
Mid-level-ontology.kif 8158-8165 | |
| (=> (parasite ?O1 ?O2) (inhabits ?O1 ?O2)) |
Mid-level-ontology.kif 7217-7219 |
| 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 | 年 是 整数 year 的 instance 和 equal 地缘政治区域 和 那个 年 每个女人生的 children and 符号串 所描述的类别 instance 的数量 |
| (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 940-949 | equal 地缘政治区域 的 available 军事服务男性 and 符号串 所描述的类别 instance 的数量 |
| (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 963-974 | equal 地缘政治区域 的 fit 对于军服务男性 and 符号串 所描述的类别 instance 的数量 |
| (equal (PopulationFn ?AREA) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (inhabits ?PERSON ?AREA))))) |
Mid-level-ontology.kif 33658-33663 | equal 地缘政治区域 的 population and 符号串 所描述的类别 instance 的数量 |
| (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 1001-1014 | equal 地缘政治区域 和 年 每年的 reaching 军事男性年龄 and 符号串 所描述的类别 instance 的数量 |
|
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