TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1617-1620
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1174-1180
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 197-201
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 233-239
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1173-1173	复合物质是純物质的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2773-2773	臭氧盾是复合物质的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2429-2429	永久冻土是复合物质的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1085-1085	純物质详尽无遗地 partition 成复合物质和元素物质
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5610-5610	矾土是复合物质的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21730-21730	原子团是复合物质的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1996-1996	重晶石是复合物质的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14699-14699	碳水化物是复合物质的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 3409-3409	CarbonDioxide 是复合物质的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5921-5921	水泥是复合物质的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8721-8721	化学酸是复合物质的 subclass
No TPTP formula. May not be expressible in strict first order.	WMD.kif 445-445	化学剂是复合物质的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8738-8738	化学基地是复合物质的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5816-5816	化学产品是复合物质的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8742-8742	盐是复合物质的 subclass
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1788-1788	Chlorofluorocarbon 是复合物质的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2013-2013	铬铁矿是复合物质的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6474-6474	共轭物质是复合物质的 subclass
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1468-1468	芋螺毒素是复合物质的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2639-2639	DDT 是复合物质的 subclass
No TPTP formula. May not be expressible in strict first order.	TransnationalIssues.kif 81-81	非法药物是复合物质的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5621-5621	铁矿是复合物质的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15664-15664	分子是复合物质的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2034-2034	天然气是复合物质的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7201-7201	一氧化氮是复合物质的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7226-7226	二氧化氮是复合物质的 subclass

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.	Mid-level-ontology.kif 6495-6495	共轭的 1 数量是复合物质的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6496-6496	共轭的 2 数量是复合物质的 instance
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1770-1770	molecularRatio 的 3 数量是复合物质的 subclass

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1772-1786	如果客体是有点复合物质的 instance 和有点复合物质是复合物质的 subclass 和不存在另一个客体这样那个另外客体是那个有点复合物质的 instance 和那个另外客体是那个客体的 part 和 molecularRatio 有点元素物质, 整数 and 那个有点复合物质和群体是群组的 instance 和第三客体是那个群体的 member 和那个第三客体是那个客体的 part 和那个第三客体是有点元素物质的 instance，然后那个整数是那个群体的 member 计数
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12563-12569	如果客体是过程的 resource 和实体是那个过程的 result 和那个客体是复合物质的 instance 和那个实体是元素物质的 instance，然后那个过程是化学分解的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12527-12533	如果客体是过程的 resource 和实体是那个过程的 result 和那个客体是元素物质的 instance 和那个实体是复合物质的 instance，然后那个过程是化学合成的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12535-12545	如果实体是复合物质的 instance，然后有存在客体，另一个客体， and 和过程这样那个客体是元素物质的 instance 和那个另外客体是元素物质的 instance 和那个客体不 equal 那个另外客体和那个过程是化学合成的 instance 和那个客体是那个过程的 resource 和那个另外客体是那个过程的 resource 和那个实体是那个过程的 result

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6478-6488	实体是共轭物质的 instance 若且唯若有存在客体，另一个客体， and 和过程这样那个客体是复合物质的 instance 和那个另外客体是复合物质的 instance 和那个客体不 equal 那个另外客体和那个过程是化学合成的 instance 和那个客体是那个过程的 resource 和那个另外客体是那个过程的 resource 和那个实体是那个过程的 result
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12547-12556	如果客体是元素物质的 instance 和另一个客体是元素物质的 instance 和那个客体不 equal 那个另外客体和过程是化学合成的 instance 和那个客体是那个过程的 resource 和那个另外客体是那个过程的 resource 和实体是那个过程的 result，然后那个实体是复合物质的 instance

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: