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

Formal Language: 



KB Term:  Term intersection
English Word: 

  produced

 Sigma KEE - produced
produced

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20685-20686
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20689-20689 Le nombre 1 argument de produced est une instance de humain
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20690-20690 Le nombre 2 argument de produced est une instance de Recording
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20684-20684 produced est une instance de pr�dicat binaire

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4226-4226
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4225-4225
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4224-4224
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20687-20687

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20709-20715
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20692-20700


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