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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Shortening

 Sigma KEE - Shortening
Shortening

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17205-17205
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17204-17204 Shortening est une sous-classe de diminuer

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52809-52809
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52808-52808
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52807-52807

antecedent
-------------------------


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


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