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

Formal Language: 



KB Term:  Term intersection
English Word: 

  graphMeasure

 Sigma KEE - graphMeasure
graphMeasure

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2391-2393
No TPTP formula. May not be expressible in strict first order. Merge.kif 6153-6156
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1071-1073
No TPTP formula. May not be expressible in strict first order. Merge.kif 6150-6150 O argumento numero 1 de graphMeasure e' uma instancia de Grafo
No TPTP formula. May not be expressible in strict first order. Merge.kif 6151-6151 O argumento numero 2 de graphMeasure e' uma instancia de Unidade de Medida
No TPTP formula. May not be expressible in strict first order. Merge.kif 6149-6149 graphMeasure e' uma instancia de Predicado Binario

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3546-3546
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3545-3545
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3544-3544
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65840-65840

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6166-6177
No TPTP formula. May not be expressible in strict first order. Merge.kif 6158-6164


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