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 20664-20665
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 20663-20663 子類 電影製作 and ContentDevelopment

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 20734-20743
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20710-20716
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20666-20673

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20679-20683
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20724-20732