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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 est une sous-classe de champ d'�tude

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21164-21164 ActuaryScience est une sous-classe de Science
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21221-21221 Astronomy est une sous-classe de Science
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21291-21291 Biochemistry est une sous-classe de Science
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21259-21259 Biology est une sous-classe de Science
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21279-21279 Botany est une sous-classe de Science
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21238-21238 Cartography est une sous-classe de Science
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21292-21292 Chemistry est une sous-classe de Science
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21226-21226 ComputerScience est une sous-classe de Science
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21302-21302 Engineering est une sous-classe de Science
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21233-21233 Geography est une sous-classe de Science
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21241-21241 Geology est une sous-classe de Science
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21245-21245 LibraryScience est une sous-classe de Science
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21269-21269 MedicalScience est une sous-classe de Science
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21289-21289 NaturalSciences est une sous-classe de Science
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21296-21296 Paleontology est une sous-classe de Science
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21299-21299 Physics est une sous-classe de Science
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21264-21264 Physiology est une sous-classe de Science
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21153-21153 SocialScience est une sous-classe de Science
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21273-21273 VeterinaryScience est une sous-classe de Science
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21284-21284 Zoology est une sous-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 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