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

Formal Language: 



KB Term:  Term intersection
English Word: 

  VideoRecording

 Sigma KEE - VideoRecording
VideoRecording(视频录制)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14456-14458
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 14455-14455 视频录制 是 Recording 的 subclass

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


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

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


No TPTP formula. May not be expressible in strict first order. Music.kif 229-229 musicVideo 的 2 数量 是 视频录制 的 instance

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14468-14474
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14460-14466

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25909-25914
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14482-14497
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 26262-26276
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26300-26308


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