HoleHostFn - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2863-2865
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10068-10071
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1610-1612
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10065-10065	The number 1 argument of hole host is an instance of hole
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10062-10062	Hole host is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10066-10066	The range of hole host is an instance of object

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 401-401
No TPTP formula. May not be expressible in strict first order.	english_format.kif 407-407
No TPTP formula. May not be expressible in strict first order.	french_format.kif 231-231
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2033-2033
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 183-183
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 251-251
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 402-402
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28382-28382
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28381-28381
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28380-28380

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 871-885	If a self connected object is an instance of shock and a process is an instance of compressing and a hole is an instance of hole and fluid is an attribute of an object and equal the self connected object and the host of the hole the hole and the self connected object contains the object and the self connected object is a patient of the process, then there exists a transfer such that the transfer is an instance of transfer and the object transferred in the transfer is the object and the hole is path along which the transfer occurs and the process causes the transfer
No TPTP formula. May not be expressible in strict first order.	Cars.kif 509-521	If an object is an instance of engine cylinder and a hole is an instance of crankcase and a physical is an instance of piston and a process is an instance of two stroke transfer and the physical is located at the object holds during the process and equal the object and the host of the hole the hole and the process is located at the object, then the physical has the purpose the physical partially fills the hole holds during the process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 463-475	If an object is an instance of engine cylinder and a hole is an instance of internal combustion chamber and a physical is an instance of piston and a process is an instance of two stroke intake and the physical is located at the object holds during the process and equal the object and the host of the hole the hole and the process is located at the object, then the physical has the purpose the physical partially fills the hole holds during the process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 207-217	If a process is an instance of four stroke combustion and an object is an instance of engine cylinder and a hole is an instance of internal combustion chamber and equal the object and the host of the hole the hole and the process is located at the object, then there exists the objectO such that the objectO is an instance of burning and the objectO is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 191-200	If a process is an instance of four stroke compression and an object is an instance of engine cylinder and a hole is an instance of internal combustion chamber and equal the object and the host of the hole the hole and the process is located at the object, then pressurized is an attribute of the hole holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 225-238	If a process is an instance of four stroke exhaust and an object is an instance of engine cylinder and a hole is an instance of internal combustion chamber and equal the object and the host of the hole the hole and the process is located at the object, then there exist an entity and another process such that the other process is an instance of gas motion and the entity is an instance of exhaust and the other process is a subprocess of the process and the other process originates at the hole and the entity is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 171-184	If a process is an instance of four stroke intake and an object is an instance of engine cylinder and a hole is an instance of internal combustion chamber and equal the object and the host of the hole the hole and the process is located at the object, then there exist the processV and another process such that the other process is an instance of gas motion and the processV is an instance of fuel vapor and the other process is a subprocess of the process and the other process ends up at the hole and the processV is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	engineering.kif 775-785	If an object is an instance of external gear and a hole is an instance of hole and equal the object and the host of the hole the hole and a self connected object is an instance of gear tooth and the self connected object is a part of the object and another self connected object is a surface of the self connected object, then the other self connected object is not a part of the object
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6235-6244	If a hole is an instance of laceration and an object is an instance of skin and equal the object and the host of the hole the hole and the object is a part of another object, then there exists a process such that the process is an instance of poking and the hole is a result of the process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 523-536	If a process is an instance of two stroke transfer and an object is an instance of engine cylinder and a hole is an instance of internal combustion chamber and equal the object and the host of the hole the hole and the process is located at the object, then there exist an entity and another process such that the other process is an instance of gas motion and the entity is an instance of exhaust and the other process is a subprocess of the process and the other process originates at the hole and the entity is a patient of the other process

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 745-756	If a process is an instance of cricothyrotomy and an entity is a patient of the process, then there exists another entity such that the other entity is an instance of hole and equal a third entity and the host of the hole the other entity and the third entity is an instance of throat and the third entity is a part of the entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7059-7077	If a process is an instance of sneezing and an agent experiences the process, then the process has the purpose there exist an entity, another entity,, , the other entityOSE and a fourth entity such that the other entity is an instance of nasal cavity and the other entityOSE is an instance of nose and equal the other entityOSE and the host of the hole the other entity and the fourth entity is an instance of object and the entity is an instance of removing and the other entityOSE is a part of the agent and the object transferred in the entity is the fourth entity and the fourth entity is located at the other entity holds during immediately before the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	engineering.kif 803-814	If a self connected object is an instance of gear tooth and an object is an instance of internal gear and the self connected object is a part of the object and another self connected object is a surface of the self connected object, then there exists a hole such that the hole is an instance of hole and equal the object and the host of the hole the hole and the other self connected object is a part of the object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4478-4483	If ring torus is an attribute of an object, then there exists a hole such that the hole is an instance of hole and equal the object and the host of the hole the hole
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10226-10233	If equal an object and the surface of the hole a hole, then if another object is a superficial part of the host of the hole the hole and the hole meets the other object and a third object and the other object overlapsSpatially, then the third object and the object overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10216-10224	If equal an object and the surface of the hole a hole, then if another object and the object overlapsSpatially, then there exists a third object such that the third object is a superficial part of the host of the hole the hole and the hole meets the third object and the other object and the third object overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5717-5727	If sinus infection is an attribute of an object holds during a time interval, then there exist a hole, the holeH and a process such that the hole is an instance of nasal cavity and equal the holeH and the host of the hole the hole and the holeH is a part of the object and the process is an instance of inflammation and the time of existence of the process takes place during the time interval and the holeH is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14277-14284	If an object is an instance of water area, then there exist another object, a hole and a third object such that equal the host of the hole the hole and the other object and the third object is an instance of water and the third object properly fills the hole and equal the union of the parts of the other object and the third object and the object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1707-1712	If an object is an instance of combustion chamber, then there exists a hole such that the hole is an instance of hole and equal the object and the host of the hole the hole
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 819-835	If a physical is an instance of chest seal, then the physical has the purpose there exist an entity, the entityH,, , a third entity and a fourth entity such that the entity is an instance of closing and the physical is an instrument for the entity and the entity is located at the entityH and the entityH is an instance of chest and the fourth entity is an instance of hole and equal the entityH and the host of the hole the fourth entity and the third entity is an instance of injuring and the third entity is located at the entityH and the time of existence of the third entity happens earlier than the time of existence of the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 328-333	If an object is an instance of engine, then there exists a hole such that the hole is an instance of crankcase and equal the object and the host of the hole the hole
No TPTP formula. May not be expressible in strict first order.	Cars.kif 317-322	If an object is an instance of engine cylinder, then there exists a hole such that the hole is an instance of internal combustion chamber and equal the object and the host of the hole the hole
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2827-2856	If a physical is an instance of gasket, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of corpuscular object and the other entity is an instance of corpuscular object and the entity meets the physical and the other entity meets the physical and there don't exist a third entity, a fourth entity,, , a fifth entity and a sixth entity such that the third entity is an instance of hole and equal the physical and the host of the hole the third entity and the fifth entity is an instance of translocation and the third entity is path along which the fifth entity occurs and the fifth entity originates at the sixth entity and the fifth entity ends up at the fourth entity and the entity contains the sixth entity and the entity doesn't contain the fourth entity and the entity meets the fourth entity and there doesn't exist the sixth entity3 such that the third entity contains the sixth entity3 and the entity doesn't contain the sixth entity3 and the other entity doesn't contain the sixth entity3
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7085-7091	If a hole is an instance of glottis, then there exists an object such that the object is an instance of vocal cords and equal the object and the host of the hole the hole
No TPTP formula. May not be expressible in strict first order.	engineering.kif 795-801	If an object is an instance of internal gear, then there exists a hole such that the hole is an instance of hole and equal the object and the host of the hole the hole
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1612-1622	If an object is an instance of hydraulic cylinder, then there exist another object, a hole and a third object such that the hole is an instance of hole and equal the other object and the host of the hole the hole and the hole is cylinder and the third object is an instance of piston and the third object is a part of the object and the other object is a part of the object
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6228-6233	If a hole is an instance of laceration, then there exists an object such that the object is an instance of skin and equal the object and the host of the hole the hole
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 275-280	If a hole is an instance of left atrium, then there exists an object such that equal the object and the host of the hole the hole and the object is an instance of heart
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 288-293	If a hole is an instance of left ventricle, then there exists an object such that equal the object and the host of the hole the hole and the object is an instance of heart
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 301-306	If a hole is an instance of right atrium, then there exists an object such that equal the object and the host of the hole the hole and the object is an instance of heart
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 314-319	If a hole is an instance of right ventricle, then there exists an object such that equal the object and the host of the hole the hole and the object is an instance of heart
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7026-7032	If a hole is an instance of nasal cavity, then there exists the holeOSE such that the holeOSE is an instance of nose and equal the holeOSE and the host of the hole the hole
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13457-13463	If a hole is an instance of pupil, then there exists an object such that the object is an instance of eye and equal the object and the host of the hole the hole
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10753-10760	If an object is an instance of ulcer, then there exist a hole and another object such that the hole is an instance of hole and the other object is an instance of body part and equal the other object and the host of the hole the hole and the other object is a part of the object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4309-4316	If a physical is an instance of vacuum hose, then the physical has the purpose there exists an entity such that the entity is an instance of hole and equal the physical and the host of the hole the entity and partial vacuum is an attribute of the entity

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: