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 14388-14389
(domain home 1 Human) Merge.kif 14386-14386 Le nombre 1 argument de home est une instance de humain
(domain home 2 PermanentResidence) Merge.kif 14387-14387 Le nombre 2 argument de home est une instance de PermanentResidence
(instance home BinaryPredicate) Merge.kif 14385-14385 home est une instance de pr�dicat binaire
(subrelation home inhabits) Merge.kif 14384-14384 home est une sous-relation de inhabits

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


(disjointRelation stays home) Merge.kif 14393-14393 stays et home sont 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 FrenchLanguage home "le domicile de %1 est %n %2") french_format.kif 484-484
(format JapaneseLanguage home "%1 の homeは %2 では %n") english_format.kif 818-818
(format PortugueseLanguage home "a casa de %1 e' %n %2") portuguese_format.kif 436-436
(format ro home "home{locuinþa} lui %1 %n{nu} este %2") relations-ro.kif 506-506
(termFormat ChineseLanguage home "家") chinese_format.kif 807-807
(termFormat ChineseTraditionalLanguage home "家") domainEnglishFormat.kif 28424-28424
(termFormat EnglishLanguage home "home") domainEnglishFormat.kif 28423-28423

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


(=>
    (and
        (instance ?UNIT ApartmentUnit)
        (home ?PERSON ?UNIT))
    (not
        (possesses ?PERSON ?UNIT)))
Mid-level-ontology.kif 6871-6875
(=>
    (and
        (instance ?UNIT SingleFamilyResidence)
        (home ?PERSON ?UNIT)
        (possesses ?PERSON ?UNIT)
        (not
            (instance ?UNIT Building)))
    (instance ?UNIT CondominiumUnit))
Mid-level-ontology.kif 6921-6927

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 18059-18067
(=>
    (holdsDuring ?TIME
        (and
            (deviceTelecomNumber ?NUMBER ?DEVICE)
            (homePhoneNumber ?NUMBER ?AGENT)
            (located ?DEVICE ?PLACE)
            (instance ?PLACE PermanentResidence)))
    (holdsDuring ?TIME
        (home ?AGENT ?PLACE)))
Mid-level-ontology.kif 25026-25033
(=>
    (instance ?DS DaySchool)
    (not
        (exists (?S)
            (and
                (student ?S ?DS)
                (home ?S ?DS)))))
Mid-level-ontology.kif 16783-16789
(=>
    (instance ?RESIDENCE ExecutiveResidence)
    (exists (?AREA ?POSITION ?PERSON)
        (and
            (located ?RESIDENCE ?AREA)
            (home ?PERSON ?RESIDENCE)
            (chiefOfState ?AREA ?POSITION ?PERSON))))
Government.kif 1542-1548
(=>
    (instance ?RESIDENCE PermanentResidence)
    (exists (?PERSON)
        (home ?PERSON ?RESIDENCE)))
Merge.kif 15794-15797
(=>
    (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 15825-15837
(=>
    (instance ?UNIT SocialUnit)
    (exists (?HOME ?MEMBER)
        (=>
            (member ?MEMBER ?UNIT)
            (home ?MEMBER ?HOME))))
Merge.kif 16276-16281
(=>
    (member ?PERSON
        (ResidentFn ?AREA))
    (home ?PERSON ?AREA))
Mid-level-ontology.kif 8033-8035
(=>
    (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 6671-6678


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