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

Formal Language: 



KB Term:  Term intersection
English Word: 

  home

 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 14434-14435
(domain home 1 Human) Merge.kif 14432-14432
(domain home 2 PermanentResidence) Merge.kif 14433-14433
(instance home BinaryPredicate) Merge.kif 14431-14431
(subrelation home inhabits) Merge.kif 14430-14430

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


(disjointRelation stays home) Merge.kif 14439-14439
(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 6898-6902
(=>
    (and
        (instance ?UNIT SingleFamilyResidence)
        (home ?PERSON ?UNIT)
        (possesses ?PERSON ?UNIT)
        (not
            (instance ?UNIT Building)))
    (instance ?UNIT CondominiumUnit))		 Mid-level-ontology.kif 6948-6954

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 18086-18094
(=>
    (holdsDuring ?TIME
        (and
            (deviceTelecomNumber ?NUMBER ?DEVICE)
            (homePhoneNumber ?NUMBER ?AGENT)
            (located ?DEVICE ?PLACE)
            (instance ?PLACE PermanentResidence)))
    (holdsDuring ?TIME
        (home ?AGENT ?PLACE)))		 Mid-level-ontology.kif 25083-25090
(=>
    (instance ?DS DaySchool)
    (not
        (exists (?S)
            (and
                (student ?S ?DS)
                (home ?S ?DS)))))		 Mid-level-ontology.kif 16810-16816
(=>
    (instance ?RESIDENCE ExecutiveResidence)
    (exists (?AREA ?POSITION ?PERSON)
        (and
            (located ?RESIDENCE ?AREA)
            (home ?PERSON ?RESIDENCE)
            (chiefOfState ?AREA ?POSITION ?PERSON))))		 Government.kif 1506-1512
(=>
    (instance ?RESIDENCE PermanentResidence)
    (exists (?PERSON)
        (home ?PERSON ?RESIDENCE)))		 Merge.kif 15840-15843
(=>
    (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 15871-15883
(=>
    (instance ?UNIT SocialUnit)
    (exists (?HOME ?MEMBER)
        (=>
            (member ?MEMBER ?UNIT)
            (home ?MEMBER ?HOME))))		 Merge.kif 16347-16352
(=>
    (member ?PERSON
        (ResidentFn ?AREA))
    (home ?PERSON ?AREA))		 Mid-level-ontology.kif 8060-8062
(=>
    (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 6665-6672


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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