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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PermanentResidence

Sigma KEE - PermanentResidence
PermanentResidence

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


(documentation PermanentResidence ChineseLanguage "这是人们居住,即是为 homeResidence。") chinese_format.kif 3595-3596
(documentation PermanentResidence EnglishLanguage "A Residence where people live, i.e. where people have a home.") Merge.kif 15791-15792
(subclass PermanentResidence Residence) Merge.kif 15790-15790 PermanentResidenceResidencesubclass では %n

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


(disjointDecomposition Residence PermanentResidence TemporaryResidence) Merge.kif 15777-15777 ResidencePermanentResidence + TemporaryResidencedisjointly decomposed %n
(subclass ExecutiveResidence PermanentResidence) Government.kif 1538-1538 ExecutiveResidencePermanentResidencesubclass では %n
(subclass SingleFamilyResidence PermanentResidence) Merge.kif 15820-15820 SingleFamilyResidencePermanentResidencesubclass では %n
(termFormat ChineseLanguage PermanentResidence "永久居留权") domainEnglishFormat.kif 45264-45264
(termFormat ChineseTraditionalLanguage PermanentResidence "永久居留權") domainEnglishFormat.kif 45263-45263
(termFormat EnglishLanguage PermanentResidence "permanent residence") domainEnglishFormat.kif 45262-45262

appearance as argument number 3
-------------------------


(domain home 2 PermanentResidence) Merge.kif 14387-14387 home の数値 2 引数は PermanentResidenceinstance では %n
(domain homeAddress 1 PermanentResidence) Mid-level-ontology.kif 23228-23228 homeAddress の数値 1 引数は PermanentResidenceinstance では %n
(domain landlord 2 PermanentResidence) Mid-level-ontology.kif 6889-6889 landlord の数値 2 引数は PermanentResidenceinstance では %n

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


(=>
    (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 ?RESIDENCE PermanentResidence)
    (exists (?PERSON)
        (home ?PERSON ?RESIDENCE)))
Merge.kif 15794-15797


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