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 20865-20866
(domain cohabitant 1 Human) Mid-level-ontology.kif 20868-20868
(domain cohabitant 2 Human) Mid-level-ontology.kif 20869-20869
(instance cohabitant BinaryPredicate) Mid-level-ontology.kif 20861-20861
(instance cohabitant IntentionalRelation) Mid-level-ontology.kif 20863-20863
(instance cohabitant SymmetricRelation) Mid-level-ontology.kif 20862-20862
(subrelation cohabitant mutualAcquaintance) Mid-level-ontology.kif 20871-20871

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 21283-21283
(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 21086-21102
(=>
    (holdsDuring ?T1
        (cohabitant ?H1 ?H2))
    (exists (?UNIT)
        (and
            (instance ?UNIT SocialUnit)
            (holdsDuring ?T1
                (and
                    (member ?UNIT ?H1)
                    (member ?UNIT ?H2))))))
Mid-level-ontology.kif 20873-20879

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


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


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