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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 20878-20879
(domain cohabitant 1 Human) Mid-level-ontology.kif 20881-20881 domain cohabitant, 1 and Human
(domain cohabitant 2 Human) Mid-level-ontology.kif 20882-20882 domain cohabitant, 2 and Human
(instance cohabitant BinaryPredicate) Mid-level-ontology.kif 20874-20874 instance cohabitant and BinaryPredicate
(instance cohabitant IntentionalRelation) Mid-level-ontology.kif 20876-20876 instance cohabitant and IntentionalRelation
(instance cohabitant SymmetricRelation) Mid-level-ontology.kif 20875-20875 instance cohabitant and SymmetricRelation
(subrelation cohabitant mutualAcquaintance) Mid-level-ontology.kif 20884-20884 subrelation cohabitant and mutualAcquaintance

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


(format ChineseLanguage cohabitant "%2 %n 是 %1 的 cohabitant ") domainEnglishFormat.kif 472-472
(format ChineseTraditionalLanguage cohabitant "%2 %n 是 %1 的 cohabitant ") domainEnglishFormat.kif 471-471
(format EnglishLanguage cohabitant "%2 is %n a cohabitant of %1") domainEnglishFormat.kif 470-470
(subrelation domesticPartner cohabitant) Mid-level-ontology.kif 21296-21296 subrelation domesticPartner and cohabitant
(termFormat ChineseLanguage cohabitant "同居") domainEnglishFormat.kif 15439-15439
(termFormat ChineseTraditionalLanguage cohabitant "同居") domainEnglishFormat.kif 15438-15438
(termFormat EnglishLanguage cohabitant "cohabitant") domainEnglishFormat.kif 15437-15437

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 21099-21115
(=>
    (holdsDuring ?T1
        (cohabitant ?H1 ?H2))
    (exists (?UNIT)
        (and
            (instance ?UNIT SocialUnit)
            (holdsDuring ?T1
                (and
                    (member ?UNIT ?H1)
                    (member ?UNIT ?H2))))))
Mid-level-ontology.kif 20886-20892

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


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


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