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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AudioMessaging

 Sigma KEE - Ferret
Ferret(ferret)ferret

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30571-30571 The expected value of ferret is 2.0 pound mass(s)
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 Ferret the attribute least concern species
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30574-30574 Ferret is a subclass of domestic animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30573-30573 Ferret is a subclass of mammal

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