HoleRegion - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2857-2862
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9853-9864
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1601-1609
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 500-500
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9851-9851	洞是地区的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4691-4691	南三明治沟是洞的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3659-3659	ATM插槽是洞的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12047-12047	BodyOrifice 是洞的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6027-6027	地洞是洞的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6012-6012	洞穴是洞的 subclass
No TPTP formula. May not be expressible in strict first order.	Cars.kif 324-324	Crankcase 是洞的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6142-6142	Glottis 是洞的 subclass
No TPTP formula. May not be expressible in strict first order.	Sports.kif 959-959	高尔夫球洞是洞的 subclass
No TPTP formula. May not be expressible in strict first order.	Cars.kif 311-311	InternalCombustionChamber 是洞的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12121-12121	Pupil 是洞的 subclass
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 944-944
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1095-1095
No TPTP formula. May not be expressible in strict first order.	french_format.kif 620-620
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 151-151
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 154-154
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 572-572
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 156-156
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 188-188
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 641-641
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 155-155

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9927-9927	洞主体函数的 1 数量是洞的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10068-10068	洞表面函数的 1 数量是洞的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10024-10024	刚好填入的 2 数量是洞的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 994-994	洞的 1 数量是洞的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9978-9978	部分填入的 2 数量是洞的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1003-1003	恰当填入的 2 数量是洞的 instance

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.	Merge.kif 9939-9947	如果客体是洞的 instance 和另一个客体是那个客体的 properPart，然后有存在第三客体这样那个客体接上那个第三客体和那个另外客体不接上那个第三客体
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9968-9972	如果客体是洞的 instance 和另一个客体是那个客体的 part，然后可填写是那个另外客体的 attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9866-9869	如果洞是洞的 instance，然后有存在自身连接物体这样那个洞是那个自身连接物体内的 hole
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9918-9921	如果客体是洞的 instance，然后有存在另一个客体这样那个另外客体是那个客体的 properPart

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 754-765	如果过程是 Cricothyroidotomy 的 instance 和实体是那个过程的 patient，然后有存在另一个实体这样那个另外实体是洞的 instance 和第三实体 equal 洞那个另外实体的主体和那个第三实体是喉的 instance 和那个第三实体是那个实体的 part 在那个过程出现的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Food.kif 3617-3632	如果客体是威士忌酒的 instance 和时距是蒸馏的 instance 和那个客体是那个时距的 result 和那个客体是那个时距R 的 resource 和那个时距R 是饮的 instance，然后有存在自身连接物体，第三时距， and 和洞这样那个自身连接物体是 Cask 的 instance 和那个洞是洞的 instance 和那个洞是那个自身连接物体内的 hole 和那个客体 fills 了那个自身连接物体的一部分在那个第三时距 holdsDuring 和那个时距比那个第三时距发生的earlier 和那个第三时距比那个时距R发生的earlier
No TPTP formula. May not be expressible in strict first order.	Food.kif 2763-2776	如果客体是 Penne 的 instance 和不存在另一个客体这样那个另外客体是 Penne 的 instance 和那个另外客体是那个客体的 part，然后有存在第三客体这样那个第三客体是洞的 instance 和那个客体是那个第三客体的 part 和可填写是那个客体的 attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1628-1635	如果空容器是自身连接物体的 attribute，然后不存在洞和客体这样那个洞是洞的 instance 和那个洞是那个自身连接物体内的 hole 和那个客体 fills 了那个自身连接物体的一部分
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1646-1652	如果容器满了是自身连接物体的 attribute，然后有存在洞和客体这样那个洞是洞的 instance 和那个洞是那个自身连接物体内的 hole 和那个客体 fills 那个自身连接物体
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9961-9966	如果可填写是客体的 attribute，然后有存在另一个客体这样那个另外客体是洞的 instance 和那个客体是那个另外客体的 part
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4417-4422	如果 RingTorus 是客体的 attribute，然后有存在洞这样那个洞是洞的 instance 和那个客体 equal 洞那个洞的主体
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9871-9873	如果洞是自身连接物体内的 hole，然后那个洞是洞的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9875-9878	如果洞是自身连接物体内的 hole，然后那个自身连接物体不是洞的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25968-25975	如果躯体性物体是 OutletAdapter 的 instance，然后有存在群体这样那个群体是群体的 instance 和洞是那个群体的 member 类别和那个群体是那个躯体性物体的 part 和金属是那个躯体性物体的材料
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1125-1138	如果客体是 BowlingBall 的 instance，然后有存在群体这样那个群体是群体的 instance 和洞是那个群体的 member 类别和 3 是那个群体的 member 计数和那个群体是 located 在那个客体和那个群体的目的是有存在实体和另一个实体这样那个另外实体是那个群体的 member 和那个实体是手指的 instance 和那个实体 fills 了那个另外实体的一部分
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1700-1705	如果客体是 CombustionChamber 的 instance，然后有存在洞这样那个洞是洞的 instance 和那个客体 equal 洞那个洞的主体
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 828-844	如果物理是 ChestSeal 的 instance，然后那个物理的目的是有存在实体，那个实体H,，，第三实体， and 和第四实体这样那个实体是关闭的 instance 和那个物理是导致那个实体的 instrument 和那个实体是 located 在那个实体H 和那个实体H 是 Chest 的 instance 和那个第四实体是洞的 instance 和那个实体H equal 洞那个第四实体的主体和那个第三实体是受伤的 instance 和那个第三实体是 located 在那个实体H 和那个第三实体出现的 time 比那个实体出现的 time发生的earlier
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18113-18121	如果物理是钻头的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个实体是切开的 instance 和那个另外实体是洞的 instance 和那个另外实体是那个实体的 result 和那个物理是导致那个实体的 instrument
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2843-2872	如果物理是 Gasket 的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个实体是躯体性物体的 instance 和那个另外实体是躯体性物体的 instance 和那个实体接上那个物理和那个另外实体接上那个物理和不存在第三实体，第四实体,，，第五实体， and 和第六实体这样那个第三实体是洞的 instance 和那个物理 equal 洞那个第三实体的主体和那个第五实体是易位的 instance 和那个第三实体%n是那个第五实体发生的path 和那个第六实体是那个第五实体的源头和那个第五实体在那个第四实体结束和那个实体 contains 那个第六实体和那个实体 doesn't contains 那个第四实体和那个实体接上那个第四实体和不存在那个第六实体3 这样那个第三实体 contains 那个第六实体3 和那个实体 doesn't contains 那个第六实体3 和那个另外实体 doesn't contains 那个第六实体3
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1606-1615	如果客体是 HydraulicCylinder 的 instance，然后有存在另一个客体，洞， and 和第三客体这样那个洞是洞的 instance 和那个另外客体 equal 洞那个洞的主体和圆筒是那个洞的 attribute 和那个第三客体是 Piston 的 instance 和那个第三客体是那个客体的 part 和那个另外客体是那个客体的 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4517-4522	如果自身连接物体是有孔容器的 instance，然后有存在洞这样那个洞是洞的 instance 和那个洞是那个自身连接物体内的 hole
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5212-5232	如果自身连接物体是檀香的 instance，然后有存在洞和另一个洞这样那个洞是洞的 instance 和那个洞是那个自身连接物体内的 hole 和那个另外洞是洞的 instance 和那个另外洞是那个自身连接物体内的 hole 和那个洞不 equal 那个另外洞和那个洞的目的是有存在实体，另一个实体,，，第三实体， and 和第四实体这样那个实体是调味料的 instance 和那个另外实体是足的 instance 和那个第三实体是那个实体的 agent 和那个另外实体是那个第三实体的 part 和那个第四实体%n是那个实体的subProcess 和那个第四实体是插入的 instance 和那个另外实体是那个第四实体的 patient 和那个第四实体在那个洞结束
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9424-9431	如果客体是 Ulcer 的 instance，然后有存在洞和另一个客体这样那个洞是洞的 instance 和那个另外客体是身体部位的 instance 和那个另外客体 equal 洞那个洞的主体和那个另外客体是那个客体的 part
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4248-4255	如果物理是 VacuumHose 的 instance，然后那个物理的目的是有存在实体这样那个实体是洞的 instance 和那个物理 equal 洞那个实体的主体和 PartialVacuum 是那个实体的 attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4307-4312	如果客体是垫圈的 instance，然后有存在洞这样那个洞是洞的 instance 和那个客体 equal 洞那个洞的主体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25911-25917	如果客体是 ElectricalOutlet 的 instance，然后有存在群体这样那个群体是群体的 instance 和洞是那个群体的 member 类别和那个群体是那个客体的 part

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: