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 17297-17298
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17300-17300 The number 1 argument of operating is an instance of device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17296-17296 Operating is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17301-17301 The values returned by operating are subclasses of process

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 42223-42223
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42222-42222
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42221-42221

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23062-23067
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 23051-23056
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1724-1732

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 3290-3292
No TPTP formula. May not be expressible in strict first order. Cars.kif 3758-3772


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