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

Formal Language: 



KB Term:  Term intersection
English Word: 

  programCopy

 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 Le nombre 1 argument de programCopy est une instance de ComputerFile
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 637-637 Le nombre 2 argument de programCopy est une instance de programme d'ordinateur
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 634-634 programCopy est une instance de relation asym�trique
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 635-635 programCopy est une sous-relation 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 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