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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FilmMaking
FilmMaking

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20663-20664
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8484-8484
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9207-9207
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9209-9209
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20662-20662 FilmMaking est une sous-classe de d�veloppement de contenu

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23690-23690
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23689-23689
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23688-23688

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20733-20742
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 20665-20672

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20678-20682
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20723-20731