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 6152-6155
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 6149-6149 Le nombre 1 argument de graphMeasure est une instance de graph
No TPTP formula. May not be expressible in strict first order. Merge.kif 6150-6150 Le nombre 2 argument de graphMeasure est une instance de unit� de mesure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6148-6148 graphMeasure est une instance de pr�dicat binaire

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 65838-65838

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6165-6176
No TPTP formula. May not be expressible in strict first order. Merge.kif 6157-6163


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