Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - home
home

appearance as argument number 1
-------------------------


(documentation home ChineseLanguage "这是 HumanHumanPermanentResidence 之间的关系。") chinese_format.kif 3375-3376
(documentation home EnglishLanguage "The relation between a Human and a PermanentResidence of the Human.") Merge.kif 14120-14121
(domain home 1 Human) Merge.kif 14118-14118 The number 1 argument of home is an instance of human
(domain home 2 PermanentResidence) Merge.kif 14119-14119 The number 2 argument of home is an instance of permanent residence
(instance home BinaryPredicate) Merge.kif 14117-14117 home is an instance of binary predicate
(subrelation home inhabits) Merge.kif 14116-14116 home is a subrelation of inhabits

appearance as argument number 2
-------------------------


(disjointRelation stays home) Merge.kif 14125-14125 stays and home are 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 JapaneseLanguage home "%1 の homeは %2 では %n") english_format.kif 818-818
(termFormat ChineseLanguage home "家") chinese_format.kif 807-807
(termFormat ChineseTraditionalLanguage home "家") domainEnglishFormat.kif 28415-28415
(termFormat EnglishLanguage home "home") domainEnglishFormat.kif 28414-28414

antecedent
-------------------------


(=>
    (and
        (instance ?UNIT ApartmentUnit)
        (home ?PERSON ?UNIT))
    (not
        (possesses ?PERSON ?UNIT)))
Mid-level-ontology.kif 6531-6535
(=>
    (and
        (instance ?UNIT SingleFamilyResidence)
        (home ?PERSON ?UNIT)
        (possesses ?PERSON ?UNIT)
        (not
            (instance ?UNIT Building)))
    (instance ?UNIT CondominiumUnit))
Mid-level-ontology.kif 6581-6587

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 17451-17459
(=>
    (holdsDuring ?TIME
        (and
            (deviceTelecomNumber ?NUMBER ?DEVICE)
            (homePhoneNumber ?NUMBER ?AGENT)
            (located ?DEVICE ?PLACE)
            (instance ?PLACE PermanentResidence)))
    (holdsDuring ?TIME
        (home ?AGENT ?PLACE)))
Mid-level-ontology.kif 24375-24382
(=>
    (instance ?DS DaySchool)
    (not
        (exists (?S)
            (and
                (student ?S ?DS)
                (home ?S ?DS)))))
Mid-level-ontology.kif 16203-16209
(=>
    (instance ?RESIDENCE ExecutiveResidence)
    (exists (?AREA ?POSITION ?PERSON)
        (and
            (located ?RESIDENCE ?AREA)
            (home ?PERSON ?RESIDENCE)
            (chiefOfState ?AREA ?POSITION ?PERSON))))
Government.kif 1527-1533
(=>
    (instance ?RESIDENCE PermanentResidence)
    (exists (?PERSON)
        (home ?PERSON ?RESIDENCE)))
Merge.kif 15512-15515
(=>
    (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 15543-15555
(=>
    (instance ?UNIT SocialUnit)
    (exists (?HOME)
        (=>
            (member ?MEMBER ?UNIT)
            (home ?MEMBER ?HOME))))
Merge.kif 15994-15999
(=>
    (member ?PERSON
        (ResidentFn ?AREA))
    (home ?PERSON ?AREA))
Mid-level-ontology.kif 7702-7704
(=>
    (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 6331-6338


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