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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UploadingOverNetwork

 Sigma KEE - UploadingOverNetwork
UploadingOverNetwork

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2775-2777
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2774-2774 UploadingOverNetwork est une sous-classe de NetworkCommunication

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2879-2879 PostingOnBlog est une sous-classe de UploadingOverNetwork
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2812-2812 UploadingAudioFile est une sous-classe de UploadingOverNetwork
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2788-2788 UploadingImage est une sous-classe de UploadingOverNetwork
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2800-2800 UploadingVideo est une sous-classe de UploadingOverNetwork
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64299-64299
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64298-64298
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64301-64301
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64300-64300
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64296-64296
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64297-64297

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2779-2786


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