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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - startupOf
startupOf

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 372-374
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 370-370 The number 1 argument of startup of is an instance of startup block
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 371-371 The number 2 argument of startup of is an instance of computer program
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 369-369 startup of is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2347-2347
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2346-2346
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2345-2345
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55070-55070
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55069-55069
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55068-55068

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 385-396

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 378-381


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