home - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - home

home

appearance as argument number 1

(documentation home ChineseLanguage "这是 Human 和 Human 的 PermanentResidence 之间的关系。")	chinese_format.kif 3375-3376
(documentation home EnglishLanguage "The relation between a Human and a PermanentResidence of the Human.")	Merge.kif 13326-13327
(domain home 1 Human)	Merge.kif 13324-13324	The number 1 argument of home is an instance of human
(domain home 2 PermanentResidence)	Merge.kif 13325-13325	The number 2 argument of home is an instance of permanent residence
(instance home BinaryPredicate)	Merge.kif 13323-13323	home is an instance of binary predicate
(subrelation home inhabits)	Merge.kif 13322-13322	home is a subrelation of inhabits

appearance as argument number 2

(disjointRelation stays home)	Merge.kif 13331-13331	stays and home are disjoint
(format ChineseLanguage home "%1 的 home %n 是 %2")	chinese_format.kif 806-806
(format EnglishLanguage home "%1 の homeは %2 では %n")	english_format.kif 821-821
(format EnglishLanguage home "the home of %1 is %n %2")	english_format.kif 820-820
(termFormat ChineseLanguage home "家")	chinese_format.kif 807-807
(termFormat ChineseTraditionalLanguage home "家")	domainEnglishFormat.kif 28326-28326
(termFormat EnglishLanguage home "home")	domainEnglishFormat.kif 28325-28325

antecedent

(=> (and (instance ?UNIT ApartmentUnit) (home ?PERSON ?UNIT)) (not (possesses ?PERSON ?UNIT)))	Mid-level-ontology.kif 6544-6548	If a permanent residence is an instance of apartment unit and a human の homeは the permanent residence では %n, then the human doesn't possess the permanent residence
(=> (and (instance ?UNIT SingleFamilyResidence) (home ?PERSON ?UNIT) (possesses ?PERSON ?UNIT) (not (instance ?UNIT Building))) (instance ?UNIT CondominiumUnit))	Mid-level-ontology.kif 6594-6600	If a permanent residence is an instance of single family residence and a human の homeは the permanent residence では %n and the human possesses the permanent residence and the permanent residence is not an instance of building, then the permanent residence is an instance of condominium unit

consequent

(=> (and (instance ?MOVE MovingResidence) (agent ?MOVE ?AGENT)) (exists (?HOME1 ?HOME2) (and (holdsDuring (BeginFn (WhenFn ?MOVE)) (home ?AGENT ?HOME1)) (holdsDuring (EndFn (WhenFn ?MOVE)) (home ?AGENT ?HOME2)) (not (equal ?HOME1 ?HOME2)))))	Mid-level-ontology.kif 15761-15769	If a process is an instance of moving residence and an agent is an agent of the process, then there exist an entity and another entity such that the agent の homeは the entity では %n holds during the beginning of the time of existence of the process and the agent の homeは the other entity では %n holds during the end of the time of existence of the process and the entity is not equal to the other entity
(=> (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (homePhoneNumber ?NUMBER ?AGENT) (located ?DEVICE ?PLACE) (instance ?PLACE PermanentResidence))) (holdsDuring ?TIME (home ?AGENT ?PLACE)))	Mid-level-ontology.kif 22969-22976	If an entity has number another entity and the other entity is the home phone of a third entity and the entity is located at a fourth entity and the fourth entity is an instance of permanent residence holds during a time position, then the third entity の homeは the fourth entity では %n holds during the time position
(=> (instance ?DS DaySchool) (not (exists (?S) (and (student ?S ?DS) (home ?S ?DS)))))	Mid-level-ontology.kif 14381-14387	If an educational organization is an instance of day school, then there doesn't exist a human such that the human is a student of the educational organization and the human の homeは the educational organization では %n
(=> (instance ?RESIDENCE ExecutiveResidence) (exists (?AREA ?POSITION ?PERSON) (and (located ?RESIDENCE ?AREA) (home ?PERSON ?RESIDENCE) (chiefOfState ?AREA ?POSITION ?PERSON))))	Government.kif 1496-1502	If a permanent residence is an instance of executive residence, then there exist a geopolitical area, a position and a human such that the permanent residence is located at the geopolitical area and the human の homeは the permanent residence では %n and the geopolitical area chief of state the position for the human
(=> (instance ?RESIDENCE PermanentResidence) (exists (?PERSON) (home ?PERSON ?RESIDENCE)))	Merge.kif 14613-14616	If a permanent residence is an instance of permanent residence, then there exists a human such that the human の homeは the permanent residence では %n
(=> (instance ?RESIDENCE SingleFamilyResidence) (hasPurpose ?RESIDENCE (forall (?AGENT1 ?AGENT2) (=> (and (home ?AGENT1 ?RESIDENCE) (home ?AGENT2 ?RESIDENCE)) (exists (?UNIT) (and (instance ?UNIT SocialUnit) (member ?AGENT1 ?UNIT) (member ?AGENT2 ?UNIT)))))))	Merge.kif 14644-14656	If a physical is an instance of single family residence, then the physical purpose for all an entity and another entity if the entity の homeは the physical では %n and the other entity の homeは the physical では %n, then there exists a third entity such that the third entity is an instance of social unit and the entity is a member of the third entity and the other entity is a member of the third entity
(=> (instance ?UNIT SocialUnit) (exists (?HOME) (=> (member ?MEMBER ?UNIT) (home ?MEMBER ?HOME))))	Merge.kif 15079-15084	If a collection is an instance of social unit, then there exists a permanent residence such that if a human is a member of the collection, then the human の homeは the permanent residence では %n
(=> (member ?PERSON (ResidentFn ?AREA)) (home ?PERSON ?AREA))	Mid-level-ontology.kif 7776-7778	If a human is a member of the resident of a permanent residence, then the human の homeは the permanent residence では %n
(=> (neighbor ?PERSON1 ?PERSON2) (exists (?HOME1 ?HOME2) (and (home ?PERSON1 ?HOME1) (home ?PERSON2 ?HOME2) (not (equal ?HOME1 ?HOME2)) (orientation ?HOME1 ?HOME2 Near))))	Mid-level-ontology.kif 6304-6311	If a human is a neighbor of another human, then there exist a permanent residence and another permanent residence such that the other human の homeは the permanent residence では %n and the human の homeは the other permanent residence では %n and the permanent residence is not equal to the other permanent residence and the permanent residence is near to the other permanent residence

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners