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 22427-22428
(domain cohabitant 1 Human) Mid-level-ontology.kif 22430-22430
(domain cohabitant 2 Human) Mid-level-ontology.kif 22431-22431
(instance cohabitant BinaryPredicate) Mid-level-ontology.kif 22423-22423
(instance cohabitant IntentionalRelation) Mid-level-ontology.kif 22425-22425
(instance cohabitant SymmetricRelation) Mid-level-ontology.kif 22424-22424
(subrelation cohabitant mutualAcquaintance) Mid-level-ontology.kif 22433-22433

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 22821-22821
(termFormat ChineseLanguage cohabitant "同居") domainEnglishFormat.kif 15507-15507
(termFormat ChineseTraditionalLanguage cohabitant "同居") domainEnglishFormat.kif 15506-15506
(termFormat EnglishLanguage cohabitant "cohabitant") domainEnglishFormat.kif 15505-15505

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 22633-22649
(=>
    (holdsDuring ?T1
        (cohabitant ?H1 ?H2))
    (exists (?UNIT)
        (and
            (instance ?UNIT SocialUnit)
            (holdsDuring ?T1
                (and
                    (member ?UNIT ?H1)
                    (member ?UNIT ?H2))))))
Mid-level-ontology.kif 22435-22443

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


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


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 is open source software produced by Articulate Software and its partners