TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3035-3036
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11401-11403
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1803-1804
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2983-2983
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11399-11399	放是转移的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12349-12349	连接和放是内部相关
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10894-10894	增加和放是内部相关
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17993-17993	掩埋是放的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5485-5485	隐瞒是放的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11414-11414	遮盖是放的 subclass
No TPTP formula. May not be expressible in strict first order.	WMD.kif 676-676	部署大规模杀伤性武器是放的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19614-19614	稀释是放的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5500-5500	调味料是放的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18037-18037	埋葬是放的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11420-11420	插入是放的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17887-17887	安装是放的 subclass
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2994-2994	Lubricating 是放的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2577-2577	种植是放的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2923-2923	淤积是放的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12747-12747	润湿是放的 subclass
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1122-1122
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1461-1461
No TPTP formula. May not be expressible in strict first order.	french_format.kif 800-800
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 332-332
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 335-335
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2484-2484
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 752-752
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 337-337
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 371-371

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

WMD.kif 581-581

梭曼 biochemical 病毒解毒制剂吡啶斯的明溴化物对于放

antecedent

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4384-4399	如果过程是放的 instance 和实体是那个过程的 patient 和那个实体是香料的 instance 和那个过程在客体结束和那个客体是已准备食物的 instance，然后有存在另一个过程和属性这样那个另外过程是内部变化的 instance 和那个客体是那个另外过程的 patient 和那个属性是那个另外过程的 result 和那个属性是那个客体的 attribute 和那个属性是 FlavourAttribute 的 instance 或那个属性是颜色属性的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11405-11412	如果过程是放的 instance 和那个过程在实体结束和另一个实体是那个过程的 patient，然后那个另外实体不是 located 在那个实体在那个过程出现的 time 的开始 holdsDuring 和那个另外实体是 located 在那个实体在那个过程出现的 time 的结束 holdsDuring

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12178-12188	如果过程是保存的 instance 和施事体是那个过程的 agent 和实体是那个过程的 patient，然后有存在另一个过程这样那个另外过程是放的 instance 和那个施事体是那个另外过程的 agent 和那个实体是那个另外过程的 patient 和那个另外过程出现的 time 比那个过程出现的 time发生的earlier
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 132-141	如果 Valet 是客体的 attribute，然后那个客体的目的是实体是车辆的 instance 和另一个实体是放的 instance 和那个另外实体在第三实体结束和那个第三实体是 ParkingRegion 的 instance 和那个实体是那个另外实体的 patient 和那个客体是那个另外实体的 agent
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1322-1326	如果疾病或综合症是对于有点过程的 disease 治愈杆菌肽，然后那个疾病或综合症是细菌性疾病的 instance 和有点过程是放的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 84-94	如果过程是 CuringFood 的 instance，然后有存在实体，另一个过程， and 和另一个实体这样那个实体是 Food 的 instance 和那个实体是那个过程的 patient 和那个另外过程是放的 instance 和那个另外过程%n是那个过程的subProcess 和那个另外实体是盐的 instance 和那个另外实体是那个另外过程的 patient 和那个另外过程在那个实体结束
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3356-3366	如果物理是显示神器的 instance，然后那个物理的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是放的 instance 和那个另外实体是传播的 instance 和那个第三实体是有内用物体的 instance 和那个第三实体是那个实体的 patient 和那个第三实体是那个另外实体的 patient 和那个实体在那个物理结束
No TPTP formula. May not be expressible in strict first order.	WMD.kif 707-718	如果过程是提供大规模杀伤性武器的 instance，然后有存在另一个过程，实体， and 和另一个实体这样那个另外过程是放的 instance 和那个另外过程%n是那个过程的subProcess 和那个实体是大规模杀伤性武器的 instance 和那个另外实体是武器的 instance 和那个另外实体不是大规模杀伤性武器的 instance 和那个实体是那个另外过程的 patient 和那个另外过程在那个另外实体结束
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1046-1059	如果实体是可预防的疾病的 instance，然后有存在另一个实体，第三实体， and 和过程这样那个另外实体是 Vaccine 的 instance 和那个过程是放的 instance 和那个过程在那个第三实体结束和那个第三实体是人类的 instance 和那个实体不是那个第三实体的 attribute 在那个过程出现的 time 之后 holdsDuring 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3020-3028	如果物理是 GreaseFitting 的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个另外实体是 Grease 的 instance 和那个实体是放的 instance 和那个物理%n是那个实体发生的path 和 objectTransferred 那个实体 and 那个另外实体
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3036-3044	如果物理是 GreaseGun 的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个另外实体是 Grease 的 instance 和那个实体是放的 instance 和那个物理是导致那个实体的 instrument 和 objectTransferred 那个实体 and 那个另外实体
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4642-4651	如果过程是 OrganTransplant 的 instance，然后有存在实体，客体， and 和转移这样那个实体是动物的 instance 和那个客体是器官的 instance 和那个转移是放的 instance 和那个转移%n是那个过程的subProcess 和 objectTransferred 那个转移 and 那个客体和那个转移在那个实体结束
No TPTP formula. May not be expressible in strict first order.	Food.kif 226-235	如果客体是 SparklingWater 的 instance，然后有存在过程，实体， and 和另一个客体这样那个过程是放的 instance 和那个实体是饮用水的 instance 和那个过程在那个另外客体结束和那个另外客体是 CarbonDioxide 的 instance 和那个客体是那个过程的 result 和那个另外客体是那个客体的 part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4374-4382	如果物理是香料的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个实体是放的 instance 和那个物理是那个实体的 patient 和那个实体在那个另外实体结束和那个另外实体是已准备食物的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11454-11466	如果过程是代替的 instance，然后有存在另一个过程，第三过程,，，实体,，，另一个实体， and 和客体这样那个另外过程是放的 instance 和那个第三过程是移除的 instance 和那个另外过程%n是那个过程的subProcess 和那个第三过程%n是那个过程的subProcess 和那个实体是那个第三过程的 patient 和那个客体是那个第三过程的源头和那个另外实体是那个另外过程的 patient 和那个另外过程在那个客体结束和那个实体不 equal 那个另外实体
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3669-3676	如果实体是 ATM插槽的 instance，然后有存在过程和另一个实体这样那个过程是放的 instance 和那个另外实体是那个过程的 patient 和那个另外实体是银行卡的 instance 和那个过程在那个实体结束
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4875-4885	如果物理是 TireChanger 的 instance，然后那个物理的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是放的 instance 和那个另外实体是 Tire 的 instance 和那个第三实体是 WheelRim 的 instance 和那个实体在那个第三实体结束和 objectTransferred 那个实体 and 那个另外实体和那个物理是导致那个实体的 instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26739-26748	如果物理是 Easel 的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个实体是人工制品的 instance 和平面是那个实体的 attribute 和那个另外实体是放的 instance 和那个实体是那个另外实体的 patient 和那个另外实体在那个物理结束
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26719-26732	如果物理是 Tripod 的 instance，然后那个物理的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是人工制品的 instance 和那个另外实体是放的 instance 和那个实体是那个另外实体的 patient 和那个另外实体在那个物理结束和那个第三实体是过程的 instance 和那个实体是导致那个第三实体的 instrument 和那个另外实体出现的 time 的结束%n在那个第三实体出现的 time 的开始before发生

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: