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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Mating
Mating

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24153-24154
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6692-6692
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7299-7299
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24152-24152 Mating est une sous-classe de fonction physiologique

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24101-24101 BiologicalConception est reli� � l'int�rieur de SUMO � Mating
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24156-24156 Raping est une sous-classe de Mating
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36515-36515
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36514-36514
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36513-36513

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


No TPTP formula. May not be expressible in strict first order. emotion.kif 1100-1110
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6403-6410
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24116-24127


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