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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OperatingFn

 Sigma KEE - OperatingFn
OperatingFn

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17880-17881
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17883-17883 Le nombre 1 argument de OperatingFn est une instance de appareil
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17879-17879 OperatingFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17884-17884 Les valeurs retourn�es par OperatingFn sont des sous-classes de processus

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1839-1839
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1838-1838
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1837-1837
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42246-42246
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42245-42245
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42244-42244

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23614-23619
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 389-396
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23603-23608
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1765-1773

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 3283-3285
No TPTP formula. May not be expressible in strict first order. Cars.kif 3763-3777


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