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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LeastConcernSpecies

Sigma KEE - LeastConcernSpecies
LeastConcernSpecies

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30349-30350
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30348-30348 LeastConcernSpeciesConservationStatusinstance

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30531-30531 CrocodileLeastConcernSpeciesattribute
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 30590-30590 GuineaPigLeastConcernSpeciesattribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30602-30602 HamsterLeastConcernSpeciesattribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30491-30491 OctopusLeastConcernSpeciesattribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30444-30444 ParrotLeastConcernSpeciesattribute
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65105-65105


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