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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - memberMeasure
memberMeasure

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31023-31026
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31031-31031 Le nombre 1 argument de memberMeasure est une instance de classe
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31032-31032 Le nombre 2 argument de memberMeasure est une instance de MeasurementAttribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31033-31033 Le nombre 3 argument de memberMeasure est une instance de quantit�
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31022-31022 memberMeasure est une instance de pr�dicat ternaire

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31028-31029
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65875-65875

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31042-31047
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31049-31054
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31348-31355
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31211-31216
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31136-31141
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31189-31194
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31115-31120
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31084-31089
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31035-31040
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31240-31245
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31380-31385
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31262-31267
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31305-31310
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31103-31108
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31218-31223
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31247-31252
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31143-31148
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31196-31201
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31357-31364
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31077-31082
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31387-31392
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31269-31274
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31312-31317
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31122-31127
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31096-31101

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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