| 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 14410-14411 | |
| (domain home 1 Human) | Merge.kif 14408-14408 | |
| (domain home 2 PermanentResidence) | Merge.kif 14409-14409 | |
| (instance home BinaryPredicate) | Merge.kif 14407-14407 | |
| (subrelation home inhabits) | Merge.kif 14406-14406 |
| appearance as argument number 2 |
|
|
| (disjointRelation stays home) | Merge.kif 14415-14415 | |
| (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 6870-6874 | |
| (=> (and (instance ?UNIT SingleFamilyResidence) (home ?PERSON ?UNIT) (possesses ?PERSON ?UNIT) (not (instance ?UNIT Building))) (instance ?UNIT CondominiumUnit)) |
Mid-level-ontology.kif 6920-6926 |
| 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 18058-18066 | |
| (=> (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (homePhoneNumber ?NUMBER ?AGENT) (located ?DEVICE ?PLACE) (instance ?PLACE PermanentResidence))) (holdsDuring ?TIME (home ?AGENT ?PLACE))) |
Mid-level-ontology.kif 25025-25032 | |
| (=> (instance ?DS DaySchool) (not (exists (?S) (and (student ?S ?DS) (home ?S ?DS))))) |
Mid-level-ontology.kif 16782-16788 | |
| (=> (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 15816-15819 | |
| (=> (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 15847-15859 | |
| (=> (instance ?UNIT SocialUnit) (exists (?HOME ?MEMBER) (=> (member ?MEMBER ?UNIT) (home ?MEMBER ?HOME)))) |
Merge.kif 16298-16303 | |
| (=> (member ?PERSON (ResidentFn ?AREA)) (home ?PERSON ?AREA)) |
Mid-level-ontology.kif 8032-8034 | |
| (=> (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 6670-6677 |
|
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