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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - effectiveRange
effectiveRange

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1382-1384
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1380-1380 Le nombre 1 argument de effectiveRange est une instance de appareil
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1381-1381 Le nombre 2 argument de effectiveRange est une instance de mesure de longueur
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1377-1377 effectiveRange est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1378-1378 effectiveRange est une instance de relation simple
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1379-1379 effectiveRange est une sous-relation de measure

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 836-836
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 835-835
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 834-834
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21300-21300
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21299-21299
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21298-21298

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1410-1429
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1388-1406

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1662-1674
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1235-1247
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1155-1167
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1900-1912
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1189-1201
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 862-865
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1860-1872
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1788-1800
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 714-717
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1744-1756
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 773-776
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1542-1554
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1967-1973
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 405-408
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 287-290
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 509-512
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 586-589
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 445-448
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 648-651
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 840-843
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 543-546


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