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 22423-22424
(domain cohabitant 1 Human) Mid-level-ontology.kif 22426-22426
(domain cohabitant 2 Human) Mid-level-ontology.kif 22427-22427
(instance cohabitant BinaryPredicate) Mid-level-ontology.kif 22419-22419
(instance cohabitant IntentionalRelation) Mid-level-ontology.kif 22421-22421
(instance cohabitant SymmetricRelation) Mid-level-ontology.kif 22420-22420
(subrelation cohabitant mutualAcquaintance) Mid-level-ontology.kif 22429-22429

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 22817-22817
(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 22629-22645
(=>
    (holdsDuring ?T1
        (cohabitant ?H1 ?H2))
    (exists (?UNIT)
        (and
            (instance ?UNIT SocialUnit)
            (holdsDuring ?T1
                (and
                    (member ?UNIT ?H1)
                    (member ?UNIT ?H2))))))		 Mid-level-ontology.kif 22431-22439

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


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


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