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 "这是 Human 和 Human 的 PermanentResidence 之间的关系。") chinese_format.kif 3375-3376
(documentation home EnglishLanguage "The relation between a Human and a PermanentResidence of the Human.") Merge.kif 14526-14527
(domain home 1 Human) Merge.kif 14524-14524 Le nombre 1 argument de home est une instance de humain
(domain home 2 PermanentResidence) Merge.kif 14525-14525 Le nombre 2 argument de home est une instance de PermanentResidence
(instance home BinaryPredicate) Merge.kif 14523-14523 home est une instance de pr�dicat binaire
(subrelation home inhabits) Merge.kif 14522-14522 home est une sous-relation de inhabits

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


(disjointRelation stays home) Merge.kif 14531-14531 stays et home sont disjoint
(format ChineseLanguage home "%1 的 home %n 是 %2") chinese_format.kif 806-806 stays et home sont disjoint
(format EnglishLanguage home "the home of %1 is %n %2") english_format.kif 817-817 stays et home sont disjoint
(format FrenchLanguage home "le domicile de %1 est %n %2") french_format.kif 484-484 stays et home sont disjoint
(format JapaneseLanguage home "%1 の homeは %2 では %n") english_format.kif 818-818 stays et home sont disjoint
(format PortugueseLanguage home "a casa de %1 e' %n %2") portuguese_format.kif 436-436 stays et home sont disjoint
(format ro home "home{locuinþa} lui %1 %n{nu} este %2") relations-ro.kif 506-506 stays et home sont disjoint
(termFormat ChineseLanguage home "家") chinese_format.kif 807-807 stays et home sont disjoint
(termFormat ChineseTraditionalLanguage home "家") domainEnglishFormat.kif 28435-28435 stays et home sont disjoint
(termFormat EnglishLanguage home "home") domainEnglishFormat.kif 28434-28434 stays et home sont 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 26690-26697
(=>
    (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 15929-15932
(=>
    (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 15960-15972
(=>
    (instance ?UNIT SocialUnit)
    (exists (?HOME ?MEMBER)
        (=>
            (member ?MEMBER ?UNIT)
            (home ?MEMBER ?HOME))))		 Merge.kif 16436-16441
(=>
    (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