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 22288-22289
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8483-8483
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9206-9206
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9208-9208
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22287-22287 子類 電影製作 and ContentDevelopment

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23706-23706
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23705-23705
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23704-23704

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22358-22367
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22334-22340
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22290-22297

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22303-22307
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22348-22356