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 30437-30437	Parrot 的 maximum 预期价值是 9.0 磅质量
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30438-30438	Parrot 的 minimum 预期价值是 0.4 盎司
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30427-30434
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30440-30440	Parrot inhabits 非洲
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30439-30439	Parrot inhabits 亚洲
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30443-30443	Parrot inhabits 澳大利亚
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30441-30441	Parrot inhabits 北美
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30442-30442	Parrot inhabits 南美洲
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30444-30444	Parrot 有 LeastConcernSpecies 的 attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30436-30436	Parrot 是鸟的 subclass

appearance as argument number 2

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

Mid-level-ontology.kif 30445-30445

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