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 29763-29764
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29762-29762 LeastConcernSpecies is an instance of ConservationStatus

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29945-29945 Crocodile the attribute LeastConcernSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29986-29986 Ferret the attribute LeastConcernSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30004-30004 Guinea pig the attribute LeastConcernSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30016-30016 Hamster the attribute LeastConcernSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29905-29905 Octopus the attribute LeastConcernSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29858-29858 Parrot the attribute LeastConcernSpecies


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