TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3362-3363
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14308-14309
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 83-83
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5885-5885	mixturePartType 水 and SodiumLactate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31671-31671	roomTempState 水 and 液体
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14307-14307	水是复合物质的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2847-2847	BrackishWater 是水的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2730-2730	淡水是水的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2743-2743	地下水是水的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8976-8976	冰是水的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 237-237	PurifiedWater 是水的 subclass
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2963-2963	雨水是水的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2820-2820	SeaWater 是水的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25645-25645	Steam 是水的 subclass
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 961-961
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1129-1129
No TPTP formula. May not be expressible in strict first order.	french_format.kif 638-638
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 169-169
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 172-172
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2322-2322
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 590-590
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 174-174
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 206-206
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 659-659
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 173-173

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1091-1096	如果过程是冻雨的 instance 和实体是那个过程的 patient 和那个实体是水的 instance，然后固体是那个实体的 attribute 在紧接那个过程出现的 time after holdsDuring
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2561-2567	如果过程是过程的 instance 和物理是那个过程的 patient 和那个物理是水的 instance 和那个物理的 measure 是实数酸碱度，然后那个实数是 lessThan 5.6
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25305-25315	如果客体是 HotTub 的 instance 和物理是 located 在那个客体和那个物理是水的 instance，然后有存在实体这样那个实体是加热的 instance 和那个客体是导致那个实体的 instrument 和那个物理是那个实体的 patient 的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2907-2909	如果客体是水的 instance，然后那个客体能够担当受事的角色做盐碱
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8782-8791	如果实体是水的 instance，然后有存在过程，客体， and 和另一个客体这样那个过程是化学合成的 instance 和那个客体是那个过程的 resource 和那个客体是氢的 instance 和那个另外客体是那个过程的 resource 和那个另外客体是氧的 instance 和那个实体是那个过程的 result

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8979-8983	客体是冰的 instance 若且唯若那个客体是水的 instance 和固体是那个客体的 attribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 954-977	如果群体是机构的 instance 和公用事业是那个群体的 attribute，然后有存在施事体和过程这样那个过程是那个群体的 member 和那个施事体是那个过程的 agent 和有存在客体，那个过程2， and 和那个施事体2 这样那个施事体是移除的 instance 或那个客体是污水的 instance 和那个客体是那个施事体的 patient 和那个客体是电子的 instance 或那个客体是水的 instance 或那个客体是純物质的 instance 和那个客体能够担当受事的角色做燃烧和那个过程2 是那个群体的 member 和那个施事体2 是金融交易的 instance 和那个过程2 是那个施事体2 的 agent 和那个客体是那个施事体2 的 patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8774-8780	如果客体是生理盐水的 instance 和另一个客体是那个客体的 part，然后那个另外客体是盐的 instance 或那个另外客体是水的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4114-4120	如果 WaterBed 是躯体性物体的 attribute，然后有存在另一个躯体性物体和客体这样那个另外躯体性物体是那个躯体性物体的 component 和那个另外躯体性物体 contains 那个客体和那个客体是水的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14418-14423	如果生物是藻类的 instance，然后有存在客体这样那个生物住在那个客体和那个客体是水的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2509-2517	如果过程是酸雨的 instance，然后有存在物理和实数这样那个物理是水的 instance 和那个物理是那个过程的 patient 和那个物理的 measure 是那个实数酸碱度和那个实数是 lessThan 5.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2495-2507	如果过程是酸雨的 instance，然后有存在客体，另一个客体,，，第三客体， and 和那个第三客体2 这样那个客体是水的 instance 和那个客体是那个过程的 patient 和那个另外客体是二氧化硫的 instance 和那个第三客体是一氧化氮的 instance 和那个第三客体2 是二氧化氮的 instance 和那个另外客体是那个客体的 part 或那个第三客体是那个客体的 part 或那个第三客体2 是那个客体的 part
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14124-14131	如果客体是水域的 instance，然后有存在另一个客体，洞， and 和第三客体这样洞那个洞的主体 equal 那个另外客体和那个第三客体是水的 instance 和那个第三客体适当的 fills 那个洞和包括属于那个第三客体或那个另外客体的部分 equal 那个客体
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14773-14778	如果客体是水云的 instance，然后有存在另一个客体这样那个另外客体是水的 instance 和那个另外客体是那个客体的 part
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14780-14793	如果客体是水云的 instance，然后对所有另一个客体如果那个另外客体是那个客体的 part 和那个另外客体不是水的 instance，然后有存在第三客体，实数,，，另一个实数， and 和测量单位这样那个第三客体是水的 instance 和那个第三客体是那个客体的 part 和那个第三客体的 measure 是那个实数那个测量单位和那个另外客体的 measure 是那个另外实数那个测量单位和那个实数是 greaterThan 那个另外实数
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2803-2815	如果转移是毛毛雨的 instance，然后有存在群体，自身连接物体， and 和实数这样那个群体是群体的 instance 和那个自身连接物体是水的 instance 和那个自身连接物体是液体滴的 instance 和那个自身连接物体是那个群体的 member 和 objectTransferred 那个转移 and 那个群体和 1 的 approximate diameter 是 %2 和那个实数是 lessThanOrEqualTo 0.5 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14573-14578	如果生物是鱼的 instance，然后有存在客体这样那个生物住在那个客体和那个客体是水的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29492-29500	如果物理是 FishTank 的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个实体是水的 instance 和那个另外实体是鱼的 instance 和那个物理 contains 那个实体和那个物理 contains 那个另外实体
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6004-6010	如果客体是冰川的 instance，然后有存在另一个客体这样那个另外客体是水的 instance 和固体是那个另外客体的 attribute 和那个另外客体是那个客体的 part
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4985-4990	如果客体是 Mud 的 instance，然后有存在另一个客体这样那个另外客体是水的 instance 和那个另外客体是那个客体的 part
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11237-11242	如果过程是水运动的 instance，然后有存在实体这样那个实体是那个过程的 patient 和那个实体是水的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11213-11218	如果过程是沉淀的 instance，然后有存在实体这样那个实体是水的 instance 和那个实体是那个过程的 patient
No TPTP formula. May not be expressible in strict first order.	Food.kif 248-258	如果实体是 PurifiedWater 的 instance，然后有存在过程，客体， and 和另一个客体这样那个过程是移除的 instance 和那个客体是那个过程的源头和那个客体是水的 instance 和那个另外客体是那个过程的 patient 和那个另外客体是物质的 instance 和那个另外客体是那个客体的 part 和那个实体是那个过程的 result
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1057-1070	如果实体是下雨的 instance，然后有存在另一个实体，第三实体， and 和类这样那个另外实体是群体的 instance 和那个第三实体是水的 instance 和那个第三实体是液体滴的 instance 和那个第三实体是那个类的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25650-25658	如果客体是 Steam 的 instance，然后有存在过程和实体这样那个过程是沸腾的 instance 和那个实体是水的 instance 和那个实体是那个过程的 patient 和那个客体是那个过程的 result 和加油站是那个客体的 attribute
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1809-1819	如果过程是 DryCleaningService 的 instance，然后有存在实体，客体， and 和另一个客体这样那个实体是服装的 instance 和那个客体不是导致那个过程的 instrument 和那个客体是水的 instance 和那个另外客体是化学产品的 instance 和那个另外客体是导致那个过程的 instrument 和那个实体是那个过程的 patient 和 Clean 是那个实体的 attribute 是那个过程的 result
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2054-2060	如果物理是 BathTub 的 instance，然后那个物理的目的是有存在实体这样那个实体是水的 instance 和那个物理 contains 那个实体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25283-25298	如果客体是 WhirlpoolTub 的 instance，然后有存在另一个客体这样那个另外客体是压力控制阀的 instance 和那个另外客体是那个客体的 part 和那个另外客体的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是水的 instance 和那个实体是 located 在那个客体和那个另外实体是创作的 instance 和那个另外客体是导致那个另外实体的 instrument 和那个第三实体是那个另外实体的 result 和那个第三实体是运动的 instance 和那个第三实体是 located 在那个实体
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1211-1223	如果过程是 WaterSport 的 instance，然后有存在客体这样那个客体是水域的 instance 或那个客体是液体容器的 instance 和有存在那个客体ATER 这样那个客体ATER 是水的 instance 和那个客体ATER 是 located 在那个客体和那个过程是 located 在那个客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3487-3496	如果物理是水车的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个另外实体是水的 instance 和那个实体是运输的 instance 和那个物理接上那个另外实体在那个实体出现的 time holdsDuring

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

KB Term:			Term intersection

English Word: