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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - OrganismPopulationFn
OrganismPopulationFn

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31761-31762
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31759-31759 O argumento numero 1 de OrganismPopulationFn e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31760-31760 O argumento numero 2 de OrganismPopulationFn e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31758-31758 OrganismPopulationFn e' uma instancia de Funcao Binaria

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


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

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31766-31771 OrganismPopulationFn Organismo and Area Geografica e' igual a o numero de instancias dentro de a classe descrita por OrganismoI


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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