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 14394-14396 | |
(domain inhabits 1 Organism) | Merge.kif 14392-14392 | The number 1 argument of inhabits is an instance of organism |
(domain inhabits 2 Object) | Merge.kif 14393-14393 | The number 2 argument of inhabits is an instance of object |
(instance inhabits AsymmetricRelation) | Merge.kif 14391-14391 | inhabits is an instance of asymmetric relation |
(instance inhabits BinaryPredicate) | Merge.kif 14390-14390 | 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 14406-14406 | home is a subrelation of inhabits |
(subrelation stays inhabits) | Merge.kif 14413-14413 | stays is a subrelation of inhabits |
(termFormat ChineseLanguage inhabits "居住") | chinese_format.kif 522-522 | |
(termFormat ChineseLanguage inhabits "栖息") | domainEnglishFormat.kif 30073-30073 | |
(termFormat ChineseTraditionalLanguage inhabits "棲息") | domainEnglishFormat.kif 30072-30072 | |
(termFormat EnglishLanguage inhabits "inhabits") | domainEnglishFormat.kif 30071-30071 | |
(termFormat tg inhabits "nabubuhay") | relations-tg.txt 291-291 |
antecedent |
consequent |
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 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 |
(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 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 |
(equal (PopulationFn ?AREA) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (inhabits ?PERSON ?AREA))))) |
Mid-level-ontology.kif 31708-31713 | 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 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 |