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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - programCopy
programCopy

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 638-640
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 636-636 O argumento numero 1 de programCopy e' uma instancia de ComputerFile
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 637-637 O argumento numero 2 de programCopy e' uma instancia de Programa de Computador
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 634-634 programCopy e' uma instancia de Relacao Assimetrica
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 635-635 programCopy e' uma sub-relacao de containsInformation

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4250-4250
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4249-4249
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4248-4248
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47644-47644
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47643-47643
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47642-47642

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 888-894
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 861-867
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 599-606
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 625-632


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