TreeView Knowledge Base Browser

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 20909-20910
(domain cohabitant 1 Human)	Mid-level-ontology.kif 20912-20912	domain cohabitant, 1 and Human
(domain cohabitant 2 Human)	Mid-level-ontology.kif 20913-20913	domain cohabitant, 2 and Human
(instance cohabitant BinaryPredicate)	Mid-level-ontology.kif 20905-20905	instance cohabitant and BinaryPredicate
(instance cohabitant IntentionalRelation)	Mid-level-ontology.kif 20907-20907	instance cohabitant and IntentionalRelation
(instance cohabitant SymmetricRelation)	Mid-level-ontology.kif 20906-20906	instance cohabitant and SymmetricRelation
(subrelation cohabitant mutualAcquaintance)	Mid-level-ontology.kif 20915-20915	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 21327-21327	subrelation domesticPartner and cohabitant
(termFormat ChineseLanguage cohabitant "同居")	domainEnglishFormat.kif 15448-15448
(termFormat ChineseTraditionalLanguage cohabitant "同居")	domainEnglishFormat.kif 15447-15447
(termFormat EnglishLanguage cohabitant "cohabitant")	domainEnglishFormat.kif 15446-15446

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 21130-21146	parent Organism and Organism parent Organism and Organism holdsDuring TimePosition and spouse Organism and Organism cohabitant Organism and Organism cohabitant Organism and Organism Entity instance Entity and NuclearFamily holdsDuring TimePosition and member Organism and Entity member Organism and Entity member Organism and Entity
(=> (holdsDuring ?T1 (cohabitant ?H1 ?H2)) (exists (?UNIT) (and (instance ?UNIT SocialUnit) (holdsDuring ?T1 (and (member ?UNIT ?H1) (member ?UNIT ?H2))))))	Mid-level-ontology.kif 20917-20923	holdsDuring TimePosition and cohabitant entity and entity Entity instance Entity and SocialUnit holdsDuring TimePosition and member Entity and entity member Entity and entity

consequent

(=>
    (and
        (instance ?UNIT SocialUnit)
        (holdsDuring ?T1
            (and
                (member ?UNIT ?H1)
                (member ?UNIT ?H2))))
    (holdsDuring ?T1
        (cohabitant ?H1 ?H2)))

Mid-level-ontology.kif 20925-20930

instance Entity and SocialUnit holdsDuring TimePosition and member Entity and entity member Entity and entity
holdsDuring TimePosition and cohabitant entity and entity

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: