cohabitant - Sigma 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 23263-23264
(domain cohabitant 1 Human)	Mid-level-ontology.kif 23266-23266	The number 1 argument of cohabitant is an instance of human
(domain cohabitant 2 Human)	Mid-level-ontology.kif 23267-23267	The number 2 argument of cohabitant is an instance of human
(instance cohabitant BinaryPredicate)	Mid-level-ontology.kif 23259-23259	cohabitant is an instance of binary predicate
(instance cohabitant IntentionalRelation)	Mid-level-ontology.kif 23261-23261	cohabitant is an instance of intentional relation
(instance cohabitant SymmetricRelation)	Mid-level-ontology.kif 23260-23260	cohabitant is an instance of symmetric relation
(subrelation cohabitant mutualAcquaintance)	Mid-level-ontology.kif 23269-23269	cohabitant is a subrelation of mutual acquaintance

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 23657-23657	domestic partner is a subrelation of cohabitant
(termFormat ChineseLanguage cohabitant "同居")	domainEnglishFormat.kif 15528-15528	domestic partner is a subrelation of cohabitant
(termFormat ChineseTraditionalLanguage cohabitant "同居")	domainEnglishFormat.kif 15527-15527	domestic partner is a subrelation of cohabitant
(termFormat EnglishLanguage cohabitant "cohabitant")	domainEnglishFormat.kif 15526-15526	domestic partner is a subrelation of cohabitant

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 23469-23485	If an organism is a parent of another organism and a third organism is a parent of the other organism and the organism is the spouse of the third organism and the third organism is a cohabitant of the organism and the organism is a cohabitant of the other organism holds during a time position, then there exists an entity such that the entity is an instance of nuclear family and the other organism is a member of the entity and the organism is a member of the entity and the third organism is a member of the entity holds during the time position
(=> (holdsDuring ?T1 (cohabitant ?H1 ?H2)) (exists (?UNIT) (and (instance ?UNIT SocialUnit) (holdsDuring ?T1 (and (member ?UNIT ?H1) (member ?UNIT ?H2))))))	Mid-level-ontology.kif 23271-23279	If an entity is a cohabitant of another entity holds during a time position, then there exists a third entity such that the third entity is an instance of social unit and the third entity is a member of the other entity and the third entity is a member of the entity holds during the time position

consequent

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

Mid-level-ontology.kif 23281-23289

If an entity is an instance of social unit and the entity is a member of another entity and the entity is a member of a third entity holds during a time position,
then the third entity is a cohabitant of the other entity holds during the time position

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

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

KB Term:			Term intersection

English Word: