TreeView Knowledge Base Browser - ArtWork

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - ArtWork

ArtWork

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3605-3606
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15862-15864
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15861-15861	子類 ArtWork and Artifact

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3161-3161	子類大學 and ArtWork
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3096-3096	子類畫的圖片 and ArtWork
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15889-15889	子類代表性的藝術作品 and ArtWork
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3143-3143	子類雕塑 and ArtWork
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3157-3157	子類草圖 and ArtWork
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3121-3121	子類牆紙 and ArtWork
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1053-1053
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1317-1317
No TPTP formula. May not be expressible in strict first order.	french_format.kif 731-731
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 262-262
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 265-265
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2415-2415
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 683-683
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 301-301
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 752-752
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 266-266

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18836-18842	agent Process and AutonomousAgent 結果 Process and Entity 例 Entity and ArtWork 持有期間何時 Process and attribute AutonomousAgent and Artist
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15866-15874	例 Physical and ArtWork 有目的 Physical and entity entity 例 entity and Human 例 entity and Perception 體驗者 entity and entity 患者 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15876-15887	例 Physical and ArtWork 有目的 Physical and entity 例 entity and Human 慾望 entity and entity 例 entity and Perception 體驗者 entity and entity 患者 entity and Physical

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16765-16775	例 Object and 藝術學校例 Process and EducationalProcess Process 是 located 在 Object Process Entity 例 Process and Making 患者 Process and Entity 例 Entity and ArtWork 參照 Process and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21088-21100	attribute Object and 藝術評論家有目的 Object and entity entity and entity 例 entity and ArtWork 暫時重疊何時 entity and 何時 Object 例 entity and entity 子類 entity and Article 作者 Object and entity 參照 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8498-8505	例 AutonomousAgent and 美術博物館 Object Physical 擁有 AutonomousAgent and Object 例 Object and Building 例 Physical and ArtWork 位於 Physical and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6732-6739	例 Physical and 藝術工作室有目的 Physical and entity entity 例 entity and Making 結果 entity and entity 例 entity and ArtWork

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