Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Ferret

Sigma KEE - Ferret
Ferret

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30571-30571 Ferret 的预期 value 是 2.0 磅质量
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30561-30569
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30572-30572 FerretLeastConcernSpeciesattribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30574-30574 Ferret家畜subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30573-30573 Ferret哺乳动物subclass

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30575-30575


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