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 30607-30607 defaultMeasure Ferret and 2.0 PoundMass(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30597-30605
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30608-30608 Ferret tem um atributo de LeastConcernSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30610-30610 Ferret e' uma sub-classe de DomesticAnimal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30609-30609 Ferret e' uma sub-classe de Mamifero

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


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


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