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 14526-14527
(domain home 1 Human)	Merge.kif 14524-14524	The number 1 argument of home is an instance of human
(domain home 2 PermanentResidence)	Merge.kif 14525-14525	The number 2 argument of home is an instance of permanent residence
(instance home BinaryPredicate)	Merge.kif 14523-14523	home is an instance of binary predicate
(subrelation home inhabits)	Merge.kif 14522-14522	home is a subrelation of inhabits

appearance as argument number 2

(disjointRelation stays home)	Merge.kif 14531-14531	stays and home are disjoint
(format ChineseLanguage home "%1 的 home %n 是 %2")	chinese_format.kif 806-806	stays and home are disjoint
(format EnglishLanguage home "the home of %1 is %n %2")	english_format.kif 817-817	stays and home are disjoint
(format FrenchLanguage home "le domicile de %1 est %n %2")	french_format.kif 484-484	stays and home are disjoint
(format JapaneseLanguage home "%1 の homeは %2 では %n")	english_format.kif 818-818	stays and home are disjoint
(format PortugueseLanguage home "a casa de %1 e' %n %2")	portuguese_format.kif 436-436	stays and home are disjoint
(format ro home "home{locuinþa} lui %1 %n{nu} este %2")	relations-ro.kif 506-506	stays and home are disjoint
(termFormat ChineseLanguage home "家")	chinese_format.kif 807-807	stays and home are disjoint
(termFormat ChineseTraditionalLanguage home "家")	domainEnglishFormat.kif 28435-28435	stays and home are disjoint
(termFormat EnglishLanguage home "home")	domainEnglishFormat.kif 28434-28434	stays and home are disjoint

antecedent

(=> (and (instance ?UNIT ApartmentUnit) (home ?PERSON ?UNIT)) (not (possesses ?PERSON ?UNIT)))	Mid-level-ontology.kif 8032-8036	If a permanent residence is an instance of apartment unit and the home of a human is the permanent residence, 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 8082-8088	If a permanent residence is an instance of single family residence and the home of a human is the permanent residence 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 19630-19638	If a process is an instance of moving and an agent is an agent of the process, then there exist an entity and another entity such that the home of the agent is the entity holds during the beginning of the time of existence of the process and the home of the agent is the other entity 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 26690-26697	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 home of the third entity is the fourth entity holds during the time position
(=> (instance ?DS DaySchool) (not (exists (?S) (and (student ?S ?DS) (home ?S ?DS)))))	Mid-level-ontology.kif 18170-18176	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 home of the human is the educational organization
(=> (instance ?RESIDENCE ExecutiveResidence) (exists (?AREA ?POSITION ?PERSON) (and (located ?RESIDENCE ?AREA) (home ?PERSON ?RESIDENCE) (chiefOfState ?AREA ?POSITION ?PERSON))))	Government.kif 1504-1510	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 home of the human is the permanent residence and the geopolitical area chief of state the position for the human
(=> (instance ?RESIDENCE PermanentResidence) (exists (?PERSON) (home ?PERSON ?RESIDENCE)))	Merge.kif 15929-15932	If a permanent residence is an instance of permanent residence, then there exists a human such that the home of the human is the permanent residence
(=> (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 15960-15972	If a physical is an instance of single family residence, then the physical has the purpose for all an entity and another entity if the home of the entity is the physical and the home of the other entity is the physical, 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 ?MEMBER ?UNIT) (home ?MEMBER ?HOME))))	Merge.kif 16436-16441	If a collection is an instance of social unit, then there exist a permanent residence and a human such that if the human is a member of the collection, then the home of the human is the permanent residence
(=> (member ?PERSON (ResidentFn ?AREA)) (home ?PERSON ?AREA))	Mid-level-ontology.kif 9200-9202	If a human is a member of the resident of a permanent residence, then the home of the human is the permanent residence
(=> (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 7608-7615	If a human is a &eighbor$"neighbor" of another human, then there exist a permanent residence and another permanent residence such that the home of the other human is the permanent residence and the home of the human is the other permanent residence 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 3.0 is open source software produced by Articulate Software and its partners