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 24621-24622
(domain cohabitant 1 Human)	Mid-level-ontology.kif 24624-24624	cohabitant の数値 1 引数は人［人間］の instance では
(domain cohabitant 2 Human)	Mid-level-ontology.kif 24625-24625	cohabitant の数値 2 引数は人［人間］の instance では
(instance cohabitant BinaryPredicate)	Mid-level-ontology.kif 24617-24617	cohabitant は 2進述語の instance では
(instance cohabitant IntentionalRelation)	Mid-level-ontology.kif 24619-24619	cohabitant は IntentionalRelation の instance では
(instance cohabitant SymmetricRelation)	Mid-level-ontology.kif 24618-24618	cohabitant は対称関係の instance では
(subrelation cohabitant mutualAcquaintance)	Mid-level-ontology.kif 24627-24627	cohabitant は mutualAcquaintance の subrelation では

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 25015-25015	domesticPartner は cohabitant の subrelation では
(termFormat ChineseLanguage cohabitant "同居")	domainEnglishFormat.kif 15521-15521	domesticPartner は cohabitant の subrelation では
(termFormat ChineseTraditionalLanguage cohabitant "同居")	domainEnglishFormat.kif 15520-15520	domesticPartner は cohabitant の subrelation では
(termFormat EnglishLanguage cohabitant "cohabitant")	domainEnglishFormat.kif 15519-15519	domesticPartner は cohabitant の subrelation では

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 24827-24843	物は物の parent では物は物の parent では spouse 物 and 物 cohabitant 物 and 物 cohabitant 物 and 物は時間位置の during holds エンティティーエンティティーは NuclearFamily の instance では物はエンティティーの member では物はエンティティーの member では物はエンティティーの member ではは時間位置の during holds
(=> (holdsDuring ?T1 (cohabitant ?H1 ?H2)) (exists (?UNIT) (and (instance ?UNIT SocialUnit) (holdsDuring ?T1 (and (member ?UNIT ?H1) (member ?UNIT ?H2))))))	Mid-level-ontology.kif 24629-24637	cohabitant エンティティー and エンティティーは時間位置の during holds エンティティーエンティティーは SocialUnit の instance ではエンティティーはエンティティーの member ではエンティティーはエンティティーの member ではは時間位置の during holds

consequent

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

Mid-level-ontology.kif 24639-24647

エンティティーは SocialUnit の instance ではエンティティーはエンティティーの member ではエンティティーはエンティティーの member ではは時間位置の during holds
cohabitant エンティティー and エンティティーは時間位置の during holds

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

KB Term:			Term intersection

English Word: