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

Formal Language: 



KB Term:  Term intersection
English Word: 

  batchInterArrival

Sigma KEE - batchInterArrival
batchInterArrival

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1188-1191
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1186-1186 O argumento numero 1 de batchInterArrival e' uma instancia de ComputerPath
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1187-1187 O argumento numero 2 de batchInterArrival e' uma instancia de Duracao Temporal
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1185-1185 batchInterArrival e' uma instancia de Predicado Binario

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 260-260
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 259-259
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 258-258
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10158-10158
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10157-10157
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10156-10156


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