TreeView Knowledge Base Browser

appearance as argument number 1

(instance cohabitant BinaryPredicate)	Mid-level-ontology.kif 25294-25294	cohabitant is an instance of binary predicate
(instance cohabitant SymmetricRelation)	Mid-level-ontology.kif 25295-25295	cohabitant is an instance of symmetric relation
(instance cohabitant IntentionalRelation)	Mid-level-ontology.kif 25296-25296	cohabitant is an instance of intentional relation
(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 25298-25299	cohabitant is an instance of intentional relation
(domain cohabitant 1 Human)	Mid-level-ontology.kif 25301-25301	The number 1 argument of cohabitant is an instance of human
(domain cohabitant 2 Human)	Mid-level-ontology.kif 25302-25302	The number 2 argument of cohabitant is an instance of human
(subrelation cohabitant mutualAcquaintance)	Mid-level-ontology.kif 25304-25304	cohabitant is a subrelation of mutual acquaintance

appearance as argument number 2

(subrelation domesticPartner cohabitant)	Mid-level-ontology.kif 25692-25692	domestic partner is a subrelation of cohabitant
(format EnglishLanguage cohabitant "%2 is %n a cohabitant of %1")	domainEnglishFormat.kif 470-470	domestic partner is a subrelation of cohabitant
(format ChineseTraditionalLanguage cohabitant "%2 %n 是 %1 的 cohabitant ")	domainEnglishFormat.kif 471-471	domestic partner is a subrelation of cohabitant
(format ChineseLanguage cohabitant "%2 %n 是 %1 的 cohabitant ")	domainEnglishFormat.kif 472-472	domestic partner is a subrelation of cohabitant
(termFormat EnglishLanguage cohabitant "cohabitant")	domainEnglishFormat.kif 15512-15512	domestic partner is a subrelation of cohabitant
(termFormat ChineseTraditionalLanguage cohabitant "同居")	domainEnglishFormat.kif 15513-15513	domestic partner is a subrelation of cohabitant
(termFormat ChineseLanguage cohabitant "同居")	domainEnglishFormat.kif 15514-15514	domestic partner is a subrelation of cohabitant

antecedent

(=> (holdsDuring ?T1 (cohabitant ?H1 ?H2)) (exists (?UNIT) (and (instance ?UNIT SocialUnit) (holdsDuring ?T1 (and (member ?UNIT ?H1) (member ?UNIT ?H2))))))	Mid-level-ontology.kif 25306-25314	If X is a cohabitant of Y holds during Z, then there exists W such that W is an instance of social unit, W is a member of Y, and W is a member of X holds during Z
(=> (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 25504-25520	If X is a parent of Y, Z is a parent of Y, and X is the spouse of Z, Z is a cohabitant of X, and X is a cohabitant of Y holds during W, then there exists V such that V is an instance of nuclear family, Y is a member of V, X is a member of V, and Z is a member of V holds during W

consequent

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

Mid-level-ontology.kif 25316-25324

If X is an instance of social unit and X is a member of Y and X is a member of Z holds during W, then Z is a cohabitant of Y holds during W

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

KB Term:			Term intersection

English Word: