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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Science

Sigma KEE - Science
Science

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21150-21151
No TPTP formula. May not be expressible in strict first order. pictureList.kif 717-717
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8697-8697
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21149-21149 Science e' uma sub-classe de Campo de Estudos

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21164-21164 ActuaryScience e' uma sub-classe de Science
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21221-21221 Astronomy e' uma sub-classe de Science
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21291-21291 Biochemistry e' uma sub-classe de Science
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21259-21259 Biology e' uma sub-classe de Science
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21279-21279 Botany e' uma sub-classe de Science
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21238-21238 Cartography e' uma sub-classe de Science
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21292-21292 Chemistry e' uma sub-classe de Science
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21226-21226 ComputerScience e' uma sub-classe de Science
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21302-21302 Engineering e' uma sub-classe de Science
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21233-21233 Geography e' uma sub-classe de Science
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21241-21241 Geology e' uma sub-classe de Science
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21245-21245 LibraryScience e' uma sub-classe de Science
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21269-21269 MedicalScience e' uma sub-classe de Science
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21289-21289 NaturalSciences e' uma sub-classe de Science
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21296-21296 Paleontology e' uma sub-classe de Science
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21299-21299 Physics e' uma sub-classe de Science
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21264-21264 Physiology e' uma sub-classe de Science
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21153-21153 SocialScience e' uma sub-classe de Science
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21273-21273 VeterinaryScience e' uma sub-classe de Science
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21284-21284 Zoology e' uma sub-classe de Science
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51563-51563
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51562-51562
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51561-51561

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18923-18928
No TPTP formula. May not be expressible in strict first order. Biography.kif 348-350


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