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 14127-14128
(domain home 1 Human) Merge.kif 14125-14125
(domain home 2 PermanentResidence) Merge.kif 14126-14126
(instance home BinaryPredicate) Merge.kif 14124-14124
(subrelation home inhabits) Merge.kif 14123-14123

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


(disjointRelation stays home) Merge.kif 14132-14132
(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 6535-6539
(=>
    (and
        (instance ?UNIT SingleFamilyResidence)
        (home ?PERSON ?UNIT)
        (possesses ?PERSON ?UNIT)
        (not
            (instance ?UNIT Building)))
    (instance ?UNIT CondominiumUnit))
Mid-level-ontology.kif 6585-6591

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 17475-17483
(=>
    (holdsDuring ?TIME
        (and
            (deviceTelecomNumber ?NUMBER ?DEVICE)
            (homePhoneNumber ?NUMBER ?AGENT)
            (located ?DEVICE ?PLACE)
            (instance ?PLACE PermanentResidence)))
    (holdsDuring ?TIME
        (home ?AGENT ?PLACE)))
Mid-level-ontology.kif 24399-24406
(=>
    (instance ?DS DaySchool)
    (not
        (exists (?S)
            (and
                (student ?S ?DS)
                (home ?S ?DS)))))
Mid-level-ontology.kif 16227-16233
(=>
    (instance ?RESIDENCE ExecutiveResidence)
    (exists (?AREA ?POSITION ?PERSON)
        (and
            (located ?RESIDENCE ?AREA)
            (home ?PERSON ?RESIDENCE)
            (chiefOfState ?AREA ?POSITION ?PERSON))))
Government.kif 1539-1545
(=>
    (instance ?RESIDENCE PermanentResidence)
    (exists (?PERSON)
        (home ?PERSON ?RESIDENCE)))
Merge.kif 15525-15528
(=>
    (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 15556-15568
(=>
    (instance ?UNIT SocialUnit)
    (exists (?HOME)
        (=>
            (member ?MEMBER ?UNIT)
            (home ?MEMBER ?HOME))))
Merge.kif 16007-16012
(=>
    (member ?PERSON
        (ResidentFn ?AREA))
    (home ?PERSON ?AREA))
Mid-level-ontology.kif 7706-7708
(=>
    (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 6335-6342


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