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(流体)

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 17590-17592
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 17589-17589	流体是内在属性的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17565-17565	加油站是流体的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17556-17556	液体是流体的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17583-17583	等离子体是流体的 subAttribute
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 9839-9861	如果客体是 Antacid 的 instance 和运动是消化的 instance 和施事体是那个运动的 agent 和移动那个运动 and 那个客体和另一个客体是胃的 instance 和那个另外客体是那个施事体的 part 和那个另外客体 contains 第三客体和那个第三客体是流体的 instance 在紧接那个运动出现的 time before holdsDuring 和那个另外客体 contains 第四客体和那个第四客体是流体的 instance 在紧接那个运动出现的 time after holdsDuring 和 phMeasure 那个第三客体 and 实数和 phMeasure 那个第四客体 and 另一个实数，然后那个另外实数是 greaterThan 那个实数
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9900-9922	如果客体是 ProtonPumpInhibitor 的 instance 和运动是消化的 instance 和施事体是那个运动的 agent 和移动那个运动 and 那个客体和另一个客体是胃的 instance 和那个另外客体是那个施事体的 part 和那个另外客体 contains 第三客体和那个第三客体是流体的 instance 在紧接那个运动出现的 time before holdsDuring 和那个另外客体 contains 第四客体和那个第四客体是流体的 instance 在紧接那个运动出现的 time after holdsDuring 和 phMeasure 那个第三客体 and 实数和 phMeasure 那个第四客体 and 另一个实数，然后那个另外实数是 greaterThan 那个实数
No TPTP formula. May not be expressible in strict first order.	Cars.kif 871-885	如果自身连接物体是 AutomobileShock 的 instance 和过程是 Compressing 的 instance 和洞是洞的 instance 和流体是客体的 attribute 和那个自身连接物体 equal 洞那个洞的主体和那个自身连接物体 contains 那个客体和那个自身连接物体是那个过程的 patient，然后有存在转移这样那个转移是转移的 instance 和 objectTransferred 那个转移 and 那个客体和那个洞%n是那个转移发生的path 和那个过程 causes 那个转移
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4734-4739	如果自身连接物体是游泳池的 instance 和那个自身连接物体 contains 客体和那个客体是流体的 instance，然后那个客体是淡水的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21616-21622	如果客体是胶体的 instance 和固体是那个客体的 attribute 和流体是那个客体的 attribute 和那个客体 equal 实体，然后那个实体是凝胶的 instance

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9061-9065	如果客体是流动区域的 instance 和另一个客体是 located 在那个客体，然后流体是那个另外客体的 attribute
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 777-783	如果客体是管道的 instance 和过程是运动的 instance 和那个客体是导致那个过程的 instrument 和实体是那个过程的 patient，然后那个实体是和流体对应的 Class 的 instance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 895-917	如果转移是 Thoracentesis 的 instance 和客体是那个转移的 patient，然后有存在另一个转移，另一个客体,，，那个另外转移N,，，第四客体,，，第五客体， and 和第六客体这样那个另外转移是插入的 instance 和那个另外转移%n是那个转移的subProcess 和 objectTransferred 那个另外转移 and 第七客体和那个另外客体是那个另外转移的源头和那个另外转移在那个另外转移N 结束和那个第七客体是 Needle 的 instance 和流体是那个第六客体的 attribute 和 objectTransferred 那个转移 and 那个第六客体和那个第六客体在那个另外客体结束和那个第四客体是肺的 instance 和那个第五客体是 Chest 的 instance 和那个第四客体是那个客体的 part 和那个第五客体是那个客体的 part 和那个另外转移N 是那个转移的源头和那个转移在那个另外客体结束和那个另外转移N 是在那个第四客体和那个第五客体 between 和那个另外客体在那个客体的外
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15451-15459	如果过程是运输的 instance 和客体是导致那个过程的 instrument 和那个客体是泵的 instance，然后有存在另一个客体这样那个另外客体是导致那个过程的 instrument 和流体是那个另外客体的 attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4682-4686	如果自身连接物体是液体容器的 instance 和那个自身连接物体 contains 客体，然后流体是那个客体的 attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17594-17601	如果客体是物质的 instance 和加油站是那个客体的 attribute 或液体是那个客体的 attribute 或等离子体是那个客体的 attribute，然后流体是那个客体的 attribute
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 924-938	如果物理是 Needle 的 instance，然后那个物理的目的是有存在实体，另一个实体,，，第三实体， and 和第四实体这样那个实体是动物的 instance 和那个另外实体是 TherapeuticProcss 的 instance 和流体是那个第三实体的 attribute 和那个实体是那个另外实体的 patient 和那个物理是导致那个另外实体的 instrument 和那个第四实体是移除的 instance 或那个第四实体是插入的 instance 和那个第四实体%n是那个另外实体的subProcess 和 objectTransferred 那个第四实体 and 那个第三实体
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2428-2430	如果运输设备是专业油轮的 instance，然后和流体对应的 Class 是那个运输设备的 cargo 种类
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9546-9557	如果物理是 PlantStem 的 instance，然后那个物理的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是转移的 instance 和那个物理是导致那个实体的 instrument 和那个另外实体是植物根的 instance 和那个另外实体是那个实体的源头和那个第三实体是物质的 instance 和流体是那个第三实体的 attribute 和 objectTransferred 那个实体 and 那个第三实体
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2670-2672	如果客体是流出的的 instance，然后流体是那个客体的 attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1527-1535	如果物理是管的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个实体是转移的 instance 和那个物理%n是那个实体发生的path 和那个另外实体是那个实体的 patient 和流体是那个另外实体的 attribute
No TPTP formula. May not be expressible in strict first order.	engineering.kif 914-925	如果物理是阀的 instance，然后那个物理的目的是有存在实体，另一个实体， and 和第三实体这样那个第三实体是转移的 instance 和那个物理%n是那个第三实体发生的path 和那个实体是那个第三实体的 patient 和流体是那个实体的 attribute 和那个另外实体是过程的 instance 和那个物理是导致那个另外实体的 instrument 和那个第三实体是那个另外实体的 patient

statement

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5426-5426	流动的 1 数量是和流体对应的 Class 的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5427-5427	流动的 2 数量是和流体对应的 Class 的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 11-11	大气层是和流体对应的 Class 的 subclass

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