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
-------------------------


s__documentation(s__home__m,s__ChineseLanguage,'"这是 HumanHumanPermanentResidence 之间的关系。"')

chinese_format.kif 3375-3376
s__documentation(s__home__m,s__EnglishLanguage,'"The relation between a Human and a PermanentResidence of the Human."')

Merge.kif 13703-13704
s__domain(s__home__m,n__1,s__Human)

Merge.kif 13701-13701 The number 1 argument of home is an instance of human
s__domain(s__home__m,n__2,s__PermanentResidence)

Merge.kif 13702-13702 The number 2 argument of home is an instance of permanent residence
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__home__m,s__BinaryPredicate)

Merge.kif 13700-13700 home is an instance of binary predicate
s__subrelation(s__home__m,s__inhabits__m)

Merge.kif 13699-13699 home is a subrelation of inhabits

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


s__disjointRelation(s__stays__m,s__home__m)

Merge.kif 13708-13708 stays and home are disjoint
s__format(s__ChineseLanguage,s__home__m,'"%1 的 home %n 是 %2"')

chinese_format.kif 806-806
s__format(s__EnglishLanguage,s__home__m,'"the home of %1 is %n %2"')

english_format.kif 820-820
s__format(s__JapaneseLanguage,s__home__m,'"%1 の homeは %2 では %n"')

english_format.kif 821-821
s__termFormat(s__ChineseLanguage,s__home__m,'"家"')

chinese_format.kif 807-807
s__termFormat(s__ChineseTraditionalLanguage,s__home__m,'"家"')

domainEnglishFormat.kif 28415-28415
s__termFormat(s__EnglishLanguage,s__home__m,'"home"')

domainEnglishFormat.kif 28414-28414

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


( ! [V__PERSON,V__UNIT] :
   ((s__instance(V__PERSON,s__Human) =>
       (((s__instance(V__UNIT,s__ApartmentUnit) &
             s__home(V__PERSON,V__UNIT))
         =>
         (~(s__possesses(V__PERSON,V__UNIT))))))
)
)

Mid-level-ontology.kif 6237-6241
( ! [V__PERSON,V__UNIT] :
   ((s__instance(V__PERSON,s__Human) =>
       (((s__instance(V__UNIT,s__SingleFamilyResidence) &
             s__home(V__PERSON,V__UNIT)
           &
           s__possesses(V__PERSON,V__UNIT)
         &
         ~(s__instance(V__UNIT,s__Building)))
       =>
       (s__instance(V__UNIT,s__CondominiumUnit)))))
)
)

Mid-level-ontology.kif 6287-6293

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16238-16246
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23149-23156
( ! [V__DS] :
   ((s__instance(V__DS,s__DaySchool) =>
       (~(( ? [V__S] :
             ((s__instance(V__S,s__Human) &
                 (s__student(V__S,V__DS)
                 &
                 s__home(V__S,V__DS))))))))
)
)

Mid-level-ontology.kif 15029-15035
( ! [V__RESIDENCE] :
   ((s__instance(V__RESIDENCE,s__ExecutiveResidence) =>
       (( ? [V__AREA, V__POSITION, V__PERSON] :
           ((s__instance(V__AREA,s__GeopoliticalArea) &
               s__instance(V__POSITION,s__Position) &
               s__instance(V__PERSON,s__Human) &
               (s__located(V__RESIDENCE,V__AREA)
               &
               s__home(V__PERSON,V__RESIDENCE)
             &
             s__chiefOfState(V__AREA,V__POSITION,V__PERSON)))))))
)
)

Government.kif 1528-1534
( ! [V__RESIDENCE] :
   ((s__instance(V__RESIDENCE,s__PermanentResidence) =>
       (( ? [V__PERSON] :
           ((s__instance(V__PERSON,s__Human) &
               s__home(V__PERSON,V__RESIDENCE))))))
   )
)

Merge.kif 15023-15026
No TPTP formula. May not be expressible in strict first order. Merge.kif 15054-15066
( ! [V__MEMBER,V__UNIT] :
   ((s__instance(V__MEMBER,s__Human) =>
       ((s__instance(V__UNIT,s__SocialUnit) =>
           (( ? [V__HOME] :
               ((s__instance(V__HOME,s__PermanentResidence) &
                   (s__member(V__MEMBER,V__UNIT)
                   =>
                   (s__home(V__MEMBER,V__HOME))))))))))
)
)

Merge.kif 15500-15505
( ! [V__AREA,V__PERSON] :
   (((s__instance(V__AREA,s__PermanentResidence) &
         s__instance(V__AREA,s__GeopoliticalArea) &
         s__instance(V__PERSON,s__Human))
       =>
       ((s__member(V__PERSON,s__ResidentFn(V__AREA))
       =>
       (s__home(V__PERSON,V__AREA)))))
)
)

Mid-level-ontology.kif 7390-7392
( ! [V__PERSON1,V__PERSON2] :
   (((s__instance(V__PERSON1,s__Human) &
         s__instance(V__PERSON2,s__Human))
       =>
       ((s__neighbor(V__PERSON1,V__PERSON2)
         =>
         (( ? [V__HOME1, V__HOME2] :
             ((s__instance(V__HOME1,s__PermanentResidence) &
                 s__instance(V__HOME2,s__PermanentResidence) &
                 (s__home(V__PERSON1,V__HOME1)
                 &
                 s__home(V__PERSON2,V__HOME2)
               &
               ~((V__HOME1 = V__HOME2))
               &
               s__orientation(V__HOME1,V__HOME2,s__Near)))))))))
)
)

Mid-level-ontology.kif 6037-6044


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