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


KB Term:  Term intersection
English Word: 

  RealEstateCredit

 Sigma KEE - SingleFamilyResidence
SingleFamilyResidence(single family residence)army_hut, field_hut, hut

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


(subclass SingleFamilyResidence PermanentResidence) Merge.kif 16122-16122 Single family residence is a subclass of permanent residence
(documentation SingleFamilyResidence EnglishLanguage "A PermanentResidence which is intended to be the home of a single SocialUnit. This class covers Houses, ApartmentUnits, and CondominiumUnits.") Merge.kif 16123-16125 Single family residence is a subclass of permanent residence

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


(subclass House SingleFamilyResidence) Merge.kif 16055-16055 House is a subclass of single family residence
(subclass ApartmentUnit SingleFamilyResidence) Mid-level-ontology.kif 8183-8183 Apartment unit is a subclass of single family residence
(subclass CondominiumUnit SingleFamilyResidence) Mid-level-ontology.kif 8233-8233 Condominium unit is a subclass of single family residence
(disjoint ApartmentBuilding SingleFamilyResidence) Mid-level-ontology.kif 8253-8253 Apartment building is disjoint from single family residence
(disjoint CondominiumBuilding SingleFamilyResidence) Mid-level-ontology.kif 8268-8268 Condominium building is disjoint from single family residence
(disjoint Dormitory SingleFamilyResidence) Mid-level-ontology.kif 8296-8296 Dormitory is disjoint from single family residence
(termFormat EnglishLanguage SingleFamilyResidence "single family residence") domainEnglishFormat.kif 53163-53163 Dormitory is disjoint from single family residence
(termFormat ChineseTraditionalLanguage SingleFamilyResidence "單身家庭住所") domainEnglishFormat.kif 53164-53164 Dormitory is disjoint from single family residence
(termFormat ChineseLanguage SingleFamilyResidence "单身家庭住所") domainEnglishFormat.kif 53165-53165 Dormitory is disjoint from single family residence

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


(=>
    (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 16127-16139 If X is an instance of single family residence, then X has the purpose Y, Z the home of Y is X, the home of Z is Xthere exists W such that W is an instance of social unit, Y is a member of W, and Z is a member of W
(=>
    (and
        (instance ?UNIT SingleFamilyResidence)
        (home ?PERSON ?UNIT)
        (possesses ?PERSON ?UNIT)
        (not
            (instance ?UNIT Building)))
    (instance ?UNIT CondominiumUnit))		 Mid-level-ontology.kif 8237-8243 If X is an instance of single family residence, the home of Y is X, Y possesses X, and X is not an instance of building, then X is an instance of condominium unit


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners