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

Formal Language: 



KB Term:  Term intersection
English Word: 

  VideoRecording

Sigma KEE - VideoRecording
VideoRecording(video recording)
more pictures...
video, video_recording

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14429-14431
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8225-8225
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6960-6960
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8221-8221
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8222-8222
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8218-8218
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8220-8220
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8219-8219
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8217-8217
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8224-8224
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8223-8223
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14428-14428 Video recording is a subclass of recording

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61628-61628
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61627-61627
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61626-61626

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Music.kif 229-229 The number 2 argument of music video is an instance of video recording

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14441-14447
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14433-14439

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25876-25881
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14455-14470
No TPTP formula. May not be expressible in strict first order. Media.kif 1387-1407
No TPTP formula. May not be expressible in strict first order. Media.kif 1275-1301
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26229-26243
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26267-26275


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