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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ComputerBackingUp
ComputerBackingUp(backup)

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3465-3466
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3464-3464 Backup is a subclass of computer process
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3463-3463 Backup is a subclass of copying
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3462-3462 Backup is a subclass of data transfer

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3467-3467

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3469-3483


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