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 17881-17882
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17884-17884 操作 的 1 数量 是 设备instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17880-17880 操作一元函数instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17885-17885 操作 的所得值 是 过程subclass

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 23615-23620
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 23604-23609
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 3755-3769


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