TreeView Knowledge Base Browser - Fluid

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Fluid

Fluid(fluid)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3926-3927
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17669-17671
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6521-6521
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6016-6016
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6520-6520
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17668-17668	Fluid is an instance of internal attribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17644-17644	Gas is a subattribute of fluid
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17635-17635	Liquid is a subattribute of fluid
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17662-17662	Plasma is a subattribute of fluid
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24362-24362
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24361-24361
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24360-24360

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9866-9888	If an object is an instance of antacid and a motion is an instance of ingesting and an agent is an agent of the motion and the object moves during the motion and another object is an instance of stomach and the other object is a part of the agent and the other object contains a third object and the third object is an instance of fluid holds during immediately before the time of existence of the motion and the other object contains a fourth object and the fourth object is an instance of fluid holds during immediately after the time of existence of the motion and pH measure the third object and a real number and pH measure the fourth object and another real number, then the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9927-9949	If an object is an instance of PPI and a motion is an instance of ingesting and an agent is an agent of the motion and the object moves during the motion and another object is an instance of stomach and the other object is a part of the agent and the other object contains a third object and the third object is an instance of fluid holds during immediately before the time of existence of the motion and the other object contains a fourth object and the fourth object is an instance of fluid holds during immediately after the time of existence of the motion and pH measure the third object and a real number and pH measure the fourth object and another real number, then the other real number is greater than the real number
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 the self connected object is equal to 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.	Mid-level-ontology.kif 4729-4734	If a self connected object is an instance of swimming pool and the self connected object contains an object and the object is an instance of fluid, then the object is an instance of freshwater
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21643-21649	If an object is an instance of colloid and solid is an attribute of the object and fluid is an attribute of the object and the object is equal to an entity, then the entity is an instance of gel

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9088-9092	If an object is an instance of flow region and another object is located at the object, then fluid is an attribute of the other object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 777-783	If an object is an instance of pipeline and a process is an instance of motion and the object is an instrument for the process and an entity is a patient of the process, then the entity is an instance of the class corresponding to fluid
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 895-917	If a transfer is an instance of needle decompression and an object is a patient of the transfer, then there exist another transfer, another object,, , the other transferN,, , a fourth object,, , a fifth object and a sixth object such that the other transfer is an instance of inserting and the other transfer is a subprocess of the transfer and the object transferred in the other transfer is a seventh object and the other transfer originates at the other object and the other transfer ends up at the other transferN and the seventh object is an instance of needle and fluid is an attribute of the sixth object and the object transferred in the transfer is the sixth object and the sixth object ends up at the other object and the fourth object is an instance of lung and the fifth object is an instance of chest and the fourth object is a part of the object and the fifth object is a part of the object and the transfer originates at the other transferN and the transfer ends up at the other object and the other transferN is between the fourth object and the fifth object and the other object is outside to the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15478-15486	If a process is an instance of transportation and an object is an instrument for the process and the object is an instance of pump, then there exists another object such that the other object is an instrument for the process and fluid is an attribute of the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4677-4681	If a self connected object is an instance of fluid container and the self connected object contains an object, then fluid is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17673-17680	If an object is an instance of substance and gas is an attribute of the object or liquid is an attribute of the object or plasma is an attribute of the object, then fluid is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 924-938	If a physical is an instance of needle, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of animal and the other entity is an instance of TherapeuticProcss and fluid is an attribute of the third entity and the entity is a patient of the other entity and the physical is an instrument for the other entity and the fourth entity is an instance of removing or the fourth entity is an instance of inserting and the fourth entity is a subprocess of the other entity and the object transferred in the fourth entity is the third entity
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2434-2436	If a transportation device is an instance of specialized tanker ship, then the class corresponding to fluid is a cargo type of the transportation device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9573-9584	If a physical is an instance of plant stem, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of transfer and the physical is an instrument for the entity and the other entity is an instance of plant root and the entity originates at the other entity and the third entity is an instance of substance and fluid is an attribute of the third entity and the object transferred in the entity is the third entity
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2670-2672	If an object is an instance of effluent, then fluid is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1520-1528	If a physical is an instance of tube, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of transfer and the physical is path along which the entity occurs and the other entity is a patient of the entity and fluid is an attribute of the other entity
No TPTP formula. May not be expressible in strict first order.	engineering.kif 914-925	If a physical is an instance of valve, then the physical has the purpose there exist an entity, another entity and a third entity such that the third entity is an instance of transfer and the physical is path along which the third entity occurs and the entity is a patient of the third entity and fluid is an attribute of the entity and the other entity is an instance of process and the physical is an instrument for the other entity and the third entity is a patient of the other entity

statement

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5426-5426	The number 1 argument of flows is an instance of the class corresponding to fluid
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5427-5427	The number 2 argument of flows is an instance of the class corresponding to fluid
No TPTP formula. May not be expressible in strict first order.	Weather.kif 11-11	Atmosphere is a subclass of the class corresponding to fluid

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