TreeView Knowledge Base Browser - home

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

home

Sigma KEE - home

home

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3375-3376
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14388-14389
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14386-14386	The number 1 argument of home is an instance of human
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14387-14387	The number 2 argument of home is an instance of permanent residence
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14385-14385	home is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14384-14384	home is a subrelation of inhabits

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 14393-14393	stays and home are disjoint
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 806-806
No TPTP formula. May not be expressible in strict first order.	english_format.kif 817-817
No TPTP formula. May not be expressible in strict first order.	french_format.kif 484-484
No TPTP formula. May not be expressible in strict first order.	english_format.kif 818-818
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 436-436
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 506-506
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 807-807
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28424-28424
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28423-28423

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6871-6875	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6921-6927	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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18059-18067	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25026-25033	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16783-16789	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
No TPTP formula. May not be expressible in strict first order.	Government.kif 1542-1548	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15794-15797	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15825-15837	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16276-16281	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8033-8035	If a human is a member of the resident of a permanent residence, then the home of the human is the permanent residence
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6671-6678	If a human is a 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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