TreeView Knowledge Base Browser - Parrot

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Parrot

Parrot

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30473-30473	Parrot 的 maximum 预期价值是 9.0 磅质量
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30474-30474	Parrot 的 minimum 预期价值是 0.4 盎司
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30463-30470
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30476-30476	Parrot inhabits 非洲
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30475-30475	Parrot inhabits 亚洲
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30479-30479	Parrot inhabits 澳大利亚
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30477-30477	Parrot inhabits 北美
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30478-30478	Parrot inhabits 南美洲
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30480-30480	Parrot 有 LeastConcernSpecies 的 attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30472-30472	Parrot 是鸟的 subclass

appearance as argument number 2

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

Mid-level-ontology.kif 30481-30481

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