home |
appearance as argument number 1 |
(documentation home ChineseLanguage "这是 Human 和 Human 的 PermanentResidence 之间的关系。") | chinese_format.kif 3375-3376 | |
(documentation home EnglishLanguage "The relation between a Human and a PermanentResidence of the Human.") | Merge.kif 14388-14389 | |
(domain home 1 Human) | Merge.kif 14386-14386 | 家 的 1 数量 是 人类 的 instance |
(domain home 2 PermanentResidence) | Merge.kif 14387-14387 | 家 的 2 数量 是 永久居留权 的 instance |
(instance home BinaryPredicate) | Merge.kif 14385-14385 | 家 是 二元谓语 的 instance |
(subrelation home inhabits) | Merge.kif 14384-14384 | 家 是 居住 的 subrelation |
appearance as argument number 2 |
(disjointRelation stays home) | Merge.kif 14393-14393 | 停留 和 家 是 disjoint 关系 |
(format ChineseLanguage home "%1 的 home %n 是 %2") | chinese_format.kif 806-806 | |
(format EnglishLanguage home "the home of %1 is %n %2") | english_format.kif 817-817 | |
(format FrenchLanguage home "le domicile de %1 est %n %2") | french_format.kif 484-484 | |
(format JapaneseLanguage home "%1 の homeは %2 では %n") | english_format.kif 818-818 | |
(format PortugueseLanguage home "a casa de %1 e' %n %2") | portuguese_format.kif 436-436 | |
(format ro home "home{locuinþa} lui %1 %n{nu} este %2") | relations-ro.kif 506-506 | |
(termFormat ChineseLanguage home "家") | chinese_format.kif 807-807 | |
(termFormat ChineseTraditionalLanguage home "家") | domainEnglishFormat.kif 28424-28424 | |
(termFormat EnglishLanguage home "home") | domainEnglishFormat.kif 28423-28423 |
antecedent |
(=> (and (instance ?UNIT ApartmentUnit) (home ?PERSON ?UNIT)) (not (possesses ?PERSON ?UNIT))) |
Mid-level-ontology.kif 6871-6875 | |
(=> (and (instance ?UNIT SingleFamilyResidence) (home ?PERSON ?UNIT) (possesses ?PERSON ?UNIT) (not (instance ?UNIT Building))) (instance ?UNIT CondominiumUnit)) |
Mid-level-ontology.kif 6921-6927 |
consequent |
(=> (and (instance ?MOVE MovingResidence) (agent ?MOVE ?AGENT)) (exists (?HOME1 ?HOME2) (and (holdsDuring (BeginFn (WhenFn ?MOVE)) (home ?AGENT ?HOME1)) (holdsDuring (EndFn (WhenFn ?MOVE)) (home ?AGENT ?HOME2)) (not (equal ?HOME1 ?HOME2))))) |
Mid-level-ontology.kif 18059-18067 | |
(=> (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (homePhoneNumber ?NUMBER ?AGENT) (located ?DEVICE ?PLACE) (instance ?PLACE PermanentResidence))) (holdsDuring ?TIME (home ?AGENT ?PLACE))) |
Mid-level-ontology.kif 25026-25033 | |
(=> (instance ?DS DaySchool) (not (exists (?S) (and (student ?S ?DS) (home ?S ?DS))))) |
Mid-level-ontology.kif 16783-16789 | |
(=> (instance ?RESIDENCE ExecutiveResidence) (exists (?AREA ?POSITION ?PERSON) (and (located ?RESIDENCE ?AREA) (home ?PERSON ?RESIDENCE) (chiefOfState ?AREA ?POSITION ?PERSON)))) |
Government.kif 1542-1548 | |
(=> (instance ?RESIDENCE PermanentResidence) (exists (?PERSON) (home ?PERSON ?RESIDENCE))) |
Merge.kif 15794-15797 | |
(=> (instance ?RESIDENCE SingleFamilyResidence) (hasPurpose ?RESIDENCE (forall (?AGENT1 ?AGENT2) (=> (and (home ?AGENT1 ?RESIDENCE) (home ?AGENT2 ?RESIDENCE)) (exists (?UNIT) (and (instance ?UNIT SocialUnit) (member ?AGENT1 ?UNIT) (member ?AGENT2 ?UNIT))))))) |
Merge.kif 15825-15837 | |
(=> (instance ?UNIT SocialUnit) (exists (?HOME ?MEMBER) (=> (member ?MEMBER ?UNIT) (home ?MEMBER ?HOME)))) |
Merge.kif 16276-16281 | |
(=> (member ?PERSON (ResidentFn ?AREA)) (home ?PERSON ?AREA)) |
Mid-level-ontology.kif 8033-8035 | |
(=> (neighbor ?PERSON1 ?PERSON2) (exists (?HOME1 ?HOME2) (and (home ?PERSON1 ?HOME1) (home ?PERSON2 ?HOME2) (not (equal ?HOME1 ?HOME2)) (orientation ?HOME1 ?HOME2 Near)))) |
Mid-level-ontology.kif 6671-6678 |