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 375-377
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 373-373 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 374-374 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 372-372 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 2351-2351
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2350-2350
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2349-2349
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55096-55096
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55095-55095
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55094-55094

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 388-399

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


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


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