| 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 14541-14542 | |
| (domain home 1 Human) | Merge.kif 14539-14539 | home の数値 1 引数は 人［人間］ の instance では |
| (domain home 2 PermanentResidence) | Merge.kif 14540-14540 | home の数値 2 引数は PermanentResidence の instance では |
| (instance home BinaryPredicate) | Merge.kif 14538-14538 | home は 2進述語 の instance では |
| (subrelation home inhabits) | Merge.kif 14537-14537 | home は inhabits の subrelation では |
| appearance as argument number 2 |
|
|
| (disjointRelation stays home) | Merge.kif 14546-14546 | stays と home は disjoint では |
| (format ChineseLanguage home "%1 的 home %n 是 %2") | chinese_format.kif 806-806 | stays と home は disjoint では |
| (format EnglishLanguage home "the home of %1 is %n %2") | english_format.kif 817-817 | stays と home は disjoint では |
| (format FrenchLanguage home "le domicile de %1 est %n %2") | french_format.kif 484-484 | stays と home は disjoint では |
| (format JapaneseLanguage home "%1 の homeは %2 では %n") | english_format.kif 818-818 | stays と home は disjoint では |
| (format PortugueseLanguage home "a casa de %1 e' %n %2") | portuguese_format.kif 436-436 | stays と home は disjoint では |
| (format ro home "home{locuinþa} lui %1 %n{nu} este %2") | relations-ro.kif 506-506 | stays と home は disjoint では |
| (termFormat ChineseLanguage home "家") | chinese_format.kif 807-807 | stays と home は disjoint では |
| (termFormat ChineseTraditionalLanguage home "家") | domainEnglishFormat.kif 28435-28435 | stays と home は disjoint では |
| (termFormat EnglishLanguage home "home") | domainEnglishFormat.kif 28434-28434 | stays と home は disjoint では |
| antecedent |
|
|
| (=> (and (instance ?UNIT ApartmentUnit) (home ?PERSON ?UNIT)) (not (possesses ?PERSON ?UNIT))) |
Mid-level-ontology.kif 8032-8036 |
|
| (=> (and (instance ?UNIT SingleFamilyResidence) (home ?PERSON ?UNIT) (possesses ?PERSON ?UNIT) (not (instance ?UNIT Building))) (instance ?UNIT CondominiumUnit)) |
Mid-level-ontology.kif 8082-8088 |
|
| 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 19630-19638 | |
| (=> (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (homePhoneNumber ?NUMBER ?AGENT) (located ?DEVICE ?PLACE) (instance ?PLACE PermanentResidence))) (holdsDuring ?TIME (home ?AGENT ?PLACE))) |
Mid-level-ontology.kif 26688-26695 | |
| (=> (instance ?DS DaySchool) (not (exists (?S) (and (student ?S ?DS) (home ?S ?DS))))) |
Mid-level-ontology.kif 18170-18176 | |
| (=> (instance ?RESIDENCE ExecutiveResidence) (exists (?AREA ?POSITION ?PERSON) (and (located ?RESIDENCE ?AREA) (home ?PERSON ?RESIDENCE) (chiefOfState ?AREA ?POSITION ?PERSON)))) |
Government.kif 1504-1510 |
|
| (=> (instance ?RESIDENCE PermanentResidence) (exists (?PERSON) (home ?PERSON ?RESIDENCE))) |
Merge.kif 15944-15947 |
|
| (=> (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 15975-15987 | |
| (=> (instance ?UNIT SocialUnit) (exists (?HOME ?MEMBER) (=> (member ?MEMBER ?UNIT) (home ?MEMBER ?HOME)))) |
Merge.kif 16451-16456 | |
| (=> (member ?PERSON (ResidentFn ?AREA)) (home ?PERSON ?AREA)) |
Mid-level-ontology.kif 9200-9202 |
|
| (=> (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 7608-7615 |
|
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