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 13899-13901
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8226-8226
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6961-6961
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 8223-8223
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 8221-8221
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 8218-8218
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 8224-8224
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13898-13898 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 61595-61595
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61594-61594
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61593-61593

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


No TPTP formula. May not be expressible in strict first order. Music.kif 227-227 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 13911-13917
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13903-13909

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25267-25272
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13925-13940
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 25619-25633
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25657-25665


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