TreeView Knowledge Base Browser - Compressing

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Compressing

Compressing

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1990-1991
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1988-1988	Compressing 是运动的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Food.kif 962-962	Crushing 是 Compressing 的 subclass
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1989-1989

antecedent

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.	Medicine.kif 620-630	如果过程是 CPR 的 instance 和运动是 Compressing 的 instance 和客体%n是那个运动发生的path 和那个运动%n是那个过程的subProcess 和那个客体的 length 是实数厘米，然后那个实数是 greaterThan 5.0 和那个实数是 lessThan 6.0
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1993-2005	如果实体是自身连接物体的 instance 和过程是 Compressing 的 instance 和那个实体是那个过程的 patient 和那个实体的 measure 是实数另一个实体在紧接那个过程出现的 time before holdsDuring 和那个另外实体是 UnitOfVolume 的 instance 和那个实体的 measure 是另一个实数那个另外实体在紧接那个过程出现的 time after holdsDuring，然后那个实数是 greaterThan 那个另外实数

consequent

No TPTP formula. May not be expressible in strict first order.	Food.kif 969-978	如果过程是 Crushing 的 instance，然后有存在另一个过程，那个过程， and 和实体这样那个另外过程是碰撞的 instance 和那个过程%n是那个另外过程的subProcess 和那个过程是 Compressing 的 instance 和那个实体是那个另外过程的 patient 和那个实体是那个过程的 patient 和那个实体是客体的 instance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 609-618	如果过程是 CPR 的 instance，然后有存在另一个过程，那个另外过程H， and 和另一个客体这样那个另外过程是 Compressing 的 instance 和那个另外客体是那个过程的 patient 和那个另外过程H 是 Chest 的 instance 和那个另外过程H 是那个另外客体的 part 和那个另外过程H 是那个另外过程的 patient 和那个另外过程%n是那个过程的subProcess
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5182-5190	如果物理是 GasCompressor 的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个实体是 Compressing 的 instance 和加油站是那个另外实体的 attribute 和那个另外实体是那个实体的 patient 和那个物理是导致那个实体的 instrument
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6024-6030	如果物理是 PressureBandage 的 instance，然后那个物理的目的是有存在实体这样那个实体是 Compressing 的 instance 和那个物理是导致那个实体的 instrument
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2029-2049	如果过程是 VaporCompressionCycle 的 instance，然后有存在另一个过程，第三过程,，，第四过程， and 和那个另外过程2 这样那个另外过程是 Compressing 的 instance 和那个第三过程是凝结的 instance 和那个第四过程是蒸发的 instance 和那个另外过程2 是 Compressing 的 instance 和那个另外过程%n是那个过程的subProcess 和那个第三过程%n是那个过程的subProcess 和那个第四过程%n是那个过程的subProcess 和那个另外过程2%n是那个过程的subProcess 和那个另外过程出现的 time 接着那个第三过程出现的 time 和那个第三过程出现的 time 接着那个第四过程出现的 time 和那个第四过程出现的 time 接着那个另外过程2 出现的 time
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3562-3572	如果实体是纸的 instance，然后有存在过程，客体， and 和另一个过程这样那个过程是制作的 instance 和那个客体是纤维素的 instance 和那个另外过程是 Compressing 的 instance 和那个客体是那个过程的 resource 和那个实体是那个过程的 result 和那个过程%n是那个另外过程的subProcess 和那个客体是那个另外过程的 patient

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