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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BeginningOperations

Sigma KEE - BeginningOperations
BeginningOperations(beginning operations)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16289-16289 Beginning operations is disjoint from ceasing operations
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16290-16292
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16288-16288 Beginning operations is a subclass of organizational process

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10565-10565
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10564-10564
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10563-10563

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16294-16299


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