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 14372-14374 | |
(domain inhabits 1 Organism) | Merge.kif 14370-14370 | Il numero 1 argomenti di inhabits è un istanza di Organismo |
(domain inhabits 2 Object) | Merge.kif 14371-14371 | Il numero 2 argomenti di inhabits è un istanza di Oggetto |
(instance inhabits AsymmetricRelation) | Merge.kif 14369-14369 | inhabits è un' istanza di RelazioneAsimmetrica |
(instance inhabits BinaryPredicate) | Merge.kif 14368-14368 | inhabits è un' istanza di PredicatoBinario |
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 14384-14384 | home è una sottorelazione di inhabits |
(subrelation stays inhabits) | Merge.kif 14391-14391 | stays è una sottorelazione di 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 | Anno è un' istanza di l' anno NumeroIntero ChildrenBornPerWomanFn AreaGeopolitica and Anno is uguale a il numero di istanzia in la classe descritta da Stringa |
(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 | AvailableForMilitaryServiceMaleFn AreaGeopolitica is uguale a il numero di istanzia in la classe descritta da Stringa |
(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 | FitForMilitaryServiceMaleFn AreaGeopolitica is uguale a il numero di istanzia in la classe descritta da Stringa |
(equal (PopulationFn ?AREA) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (inhabits ?PERSON ?AREA))))) |
Mid-level-ontology.kif 31712-31717 | PopulationFn AreaGeopolitica is uguale a il numero di istanzia in la classe descritta da Stringa |
(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 | ReachingMilitaryAgeAnnuallyMaleFn AreaGeopolitica and Anno is uguale a il numero di istanzia in la classe descritta da Stringa |