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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FilmMaking

Sigma KEE - FilmMaking
FilmMaking(film making)

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 Film making is a subclass of content development

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

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 4566-4569 There exists a process such that the process is an instance of film making and Netflix Corp. is an agent of the process


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