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

Formal Language: 



KB Term:  Term intersection
English Word: 

  cohabitant

Sigma KEE - cohabitant
cohabitant

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


(documentation cohabitant EnglishLanguage "(holdsDuring ?T1 (cohabitant ?H1 ?H2)) means that during the time ?T1, ?H1 and ?H2 have the same home.") Mid-level-ontology.kif 20834-20835
(domain cohabitant 1 Human) Mid-level-ontology.kif 20837-20837
(domain cohabitant 2 Human) Mid-level-ontology.kif 20838-20838
(instance cohabitant BinaryPredicate) Mid-level-ontology.kif 20830-20830
(instance cohabitant IntentionalRelation) Mid-level-ontology.kif 20832-20832
(instance cohabitant SymmetricRelation) Mid-level-ontology.kif 20831-20831
(subrelation cohabitant mutualAcquaintance) Mid-level-ontology.kif 20840-20840

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


(format EnglishLanguage cohabitant "%2 is %n a cohabitant of %1") domainEnglishFormat.kif 127-127
(subrelation domesticPartner cohabitant) Mid-level-ontology.kif 21252-21252
(termFormat EnglishLanguage cohabitant "cohabitant") domainEnglishFormat.kif 3007-3007

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


(=>
    (and
        (parent ?CHILD ?PARENT1)
        (parent ?CHILD ?PARENT2)
        (holdsDuring ?T1
            (and
                (spouse ?PARENT1 ?PARENT2)
                (cohabitant ?PARENT1 ?PARENT2)
                (cohabitant ?CHILD ?PARENT1))))
    (exists (?FAM)
        (and
            (instance ?FAM NuclearFamily)
            (holdsDuring ?T1
                (and
                    (member ?CHILD ?FAM)
                    (member ?PARENT1 ?FAM)
                    (member ?PARENT2 ?FAM))))))
Mid-level-ontology.kif 21055-21071
(=>
    (holdsDuring ?T1
        (cohabitant ?H1 ?H2))
    (exists (?UNIT)
        (and
            (instance ?UNIT SocialUnit)
            (holdsDuring ?T1
                (and
                    (member ?UNIT ?H1)
                    (member ?UNIT ?H2))))))
Mid-level-ontology.kif 20842-20848

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


(=>
    (and
        (instance ?UNIT SocialUnit)
        (holdsDuring ?T1
            (and
                (member ?UNIT ?H1)
                (member ?UNIT ?H2))))
    (holdsDuring ?T1
        (cohabitant ?H1 ?H2)))
Mid-level-ontology.kif 20850-20855


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners