TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 14562-14562	鸟和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3416-3416
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14563-14564
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 21-21
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 41-41
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 22-22
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 25-25
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 20-20
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 19-19
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 23-23
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 24-24
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14561-14561	鸟是温血脊椎动物的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	WMD.kif 1597-1597	鸟是衣原体鹦鹉热的病毒传递者
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1673-1673	鸟是圣路易斯脑炎病毒的病毒传递者
No TPTP formula. May not be expressible in strict first order.	Food.kif 2033-2033	PoultryMeat 是鸟的 meat
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1977-1977	parasitic Louse and 鸟
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1988-1988	parasitic Tick and 鸟
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20255-20255	猫头鹰是鸟的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30448-30448	Parrot 是鸟的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20259-20259	鸽子是鸟的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20224-20224	家禽是鸟的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 2049-2049	QuailBird 是鸟的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20262-20262	秃鹫是鸟的 subclass
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 988-988
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1183-1183
No TPTP formula. May not be expressible in strict first order.	french_format.kif 665-665
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 196-196
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 199-199
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2349-2349
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 617-617
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 201-201
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 233-233
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 686-686
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 200-200

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24075-24082	如果实体是鸟蛋的 instance，然后有存在过程和施事体这样那个过程是有性繁殖的 instance 和那个施事体是那个过程的 agent 和那个施事体是鸟的 instance 和那个实体是那个过程的 result
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20341-20346	如果客体是羽毛的 instance，然后有存在另一个客体这样那个另外客体是鸟的 instance 和那个客体是那个另外客体的 part

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: