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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UploadingOverNetwork
UploadingOverNetwork(uploading)

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 Uploading is a subclass of network communication

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2879-2879 Posting on blog is a subclass of uploading
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2812-2812 Uploading audio file is a subclass of uploading
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2788-2788 Uploading image is a subclass of uploading
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2800-2800 Uploading video is a subclass of uploading
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 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