| 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 13353-13354 | |
| (domain home 1 Human) | Merge.kif 13351-13351 | |
| (domain home 2 PermanentResidence) | Merge.kif 13352-13352 | |
| (instance home BinaryPredicate) | Merge.kif 13350-13350 | |
| (subrelation home inhabits) | Merge.kif 13349-13349 |
| appearance as argument number 2 |
|
|
| (disjointRelation stays home) | Merge.kif 13358-13358 | |
| (format ChineseLanguage home "%1 的 home %n 是 %2") | chinese_format.kif 806-806 | |
| (format EnglishLanguage home "%1 の homeは %2 では %n") | english_format.kif 821-821 | |
| (format EnglishLanguage home "the home of %1 is %n %2") | english_format.kif 820-820 | |
| (termFormat ChineseLanguage home "家") | chinese_format.kif 807-807 | |
| (termFormat ChineseTraditionalLanguage home "家") | domainEnglishFormat.kif 28347-28347 | |
| (termFormat EnglishLanguage home "home") | domainEnglishFormat.kif 28346-28346 |
| antecedent |
|
|
| (=> (and (instance ?UNIT ApartmentUnit) (home ?PERSON ?UNIT)) (not (possesses ?PERSON ?UNIT))) |
Mid-level-ontology.kif 6523-6527 | |
| (=> (and (instance ?UNIT SingleFamilyResidence) (home ?PERSON ?UNIT) (possesses ?PERSON ?UNIT) (not (instance ?UNIT Building))) (instance ?UNIT CondominiumUnit)) |
Mid-level-ontology.kif 6573-6579 |
| 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 15786-15794 | |
| (=> (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (homePhoneNumber ?NUMBER ?AGENT) (located ?DEVICE ?PLACE) (instance ?PLACE PermanentResidence))) (holdsDuring ?TIME (home ?AGENT ?PLACE))) |
Mid-level-ontology.kif 22994-23001 | |
| (=> (instance ?DS DaySchool) (not (exists (?S) (and (student ?S ?DS) (home ?S ?DS))))) |
Mid-level-ontology.kif 14406-14412 | |
| (=> (instance ?RESIDENCE ExecutiveResidence) (exists (?AREA ?POSITION ?PERSON) (and (located ?RESIDENCE ?AREA) (home ?PERSON ?RESIDENCE) (chiefOfState ?AREA ?POSITION ?PERSON)))) |
Government.kif 1496-1502 | |
| (=> (instance ?RESIDENCE PermanentResidence) (exists (?PERSON) (home ?PERSON ?RESIDENCE))) |
Merge.kif 14640-14643 | |
| (=> (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 14671-14683 | |
| (=> (instance ?UNIT SocialUnit) (exists (?HOME) (=> (member ?MEMBER ?UNIT) (home ?MEMBER ?HOME)))) |
Merge.kif 15106-15111 | |
| (=> (member ?PERSON (ResidentFn ?AREA)) (home ?PERSON ?AREA)) |
Mid-level-ontology.kif 7755-7757 | |
| (=> (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 6310-6317 |
|
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