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 23032-23033
(domain cohabitant 1 Human) Mid-level-ontology.kif 23035-23035
(domain cohabitant 2 Human) Mid-level-ontology.kif 23036-23036
(instance cohabitant BinaryPredicate) Mid-level-ontology.kif 23028-23028
(instance cohabitant IntentionalRelation) Mid-level-ontology.kif 23030-23030
(instance cohabitant SymmetricRelation) Mid-level-ontology.kif 23029-23029
(subrelation cohabitant mutualAcquaintance) Mid-level-ontology.kif 23038-23038

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 23426-23426
(termFormat ChineseLanguage cohabitant "同居") domainEnglishFormat.kif 15512-15512
(termFormat ChineseTraditionalLanguage cohabitant "同居") domainEnglishFormat.kif 15511-15511
(termFormat EnglishLanguage cohabitant "cohabitant") domainEnglishFormat.kif 15510-15510

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 23238-23254
(=>
    (holdsDuring ?T1
        (cohabitant ?H1 ?H2))
    (exists (?UNIT)
        (and
            (instance ?UNIT SocialUnit)
            (holdsDuring ?T1
                (and
                    (member ?UNIT ?H1)
                    (member ?UNIT ?H2))))))		 Mid-level-ontology.kif 23040-23048

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


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


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