TreeView Knowledge Base Browser - Camera

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Camera

Camera(相机)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13313-13313
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 315-315
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 58-58
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13312-13312	相机是设备的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 556-556	VideoCamera 是相机的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12811-12811
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12810-12810
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12809-12809

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26961-26987	如果物理是 SurveillanceSystem 的 instance 和那个物理是群体的 member 和那个物理是另一个群体的 member 和那个群体是 located 在客体和那个群体是相机的 instance 和那个另外群体是 located 在另一个客体和那个客体不 equal 那个另外客体和那个另外群体是 VideoDisplay 的 instance，然后那个物理的目的是有存在实体，另一个实体,，，第三实体， and 和第四实体这样那个实体是过程的 instance 和那个实体是 located 在那个客体和那个另外实体表达那个实体和相机是导致那个第四实体的 instrument 和那个另外实体是那个第四实体的 result 和那个第三实体是放射光线的 instance 和那个另外群体是导致那个第三实体的 instrument 和那个另外实体是那个第三实体的 patient 和那个实体的开始%n在那个第四实体的开始before发生和那个第四实体的开始%n在那个第三实体的开始before发生
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13315-13317	如果客体是相机的 instance，然后那个客体能够担当工具的角色做拍摄

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26961-26987	如果物理是 SurveillanceSystem 的 instance 和那个物理是群体的 member 和那个物理是另一个群体的 member 和那个群体是 located 在客体和那个群体是相机的 instance 和那个另外群体是 located 在另一个客体和那个客体不 equal 那个另外客体和那个另外群体是 VideoDisplay 的 instance，然后那个物理的目的是有存在实体，另一个实体,，，第三实体， and 和第四实体这样那个实体是过程的 instance 和那个实体是 located 在那个客体和那个另外实体表达那个实体和相机是导致那个第四实体的 instrument 和那个另外实体是那个第四实体的 result 和那个第三实体是放射光线的 instance 和那个另外群体是导致那个第三实体的 instrument 和那个另外实体是那个第三实体的 patient 和那个实体的开始%n在那个第四实体的开始before发生和那个第四实体的开始%n在那个第三实体的开始before发生
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13303-13310	如果过程是拍摄的 instance，然后有存在实体和客体这样那个实体是照片的 instance 和那个实体是那个过程的 result 和那个客体是导致那个过程的 instrument 和那个客体是相机的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14558-14569	如果过程是电影拍摄的 instance，然后有存在客体这样那个客体是相机的 instance 和那个客体是导致那个过程的 instrument 和不存在那个客体2 这样那个客体2 是相机的 instance 和那个客体不 equal 那个客体2 和那个客体2 是导致那个过程的 instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26955-26959	如果群体是 SurveillanceSystem 的 instance，然后相机是那个群体的 member 类别和 VideoDisplay 是那个群体的 member 类别

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