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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Physical
Physical

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1550-1551
No TPTP formula. May not be expressible in strict first order. Merge.kif 835-837
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 120-121
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 139-140
No TPTP formula. May not be expressible in strict first order. Merge.kif 833-833 劃分 Physical, Object and Process
No TPTP formula. May not be expressible in strict first order. Merge.kif 832-832 子類 Physical and Entity

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 816-816 劃分 Entity, Physical and Abstract
No TPTP formula. May not be expressible in strict first order. Merge.kif 1304-1304 子類 內容承載物理 and Physical
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 41-41 子類 金融資產 and Physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 846-846 子類 Object and Physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 6121-6121 子類 物理系統 and Physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 1622-1622 子類 Process and Physical
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 814-814
No TPTP formula. May not be expressible in strict first order. english_format.kif 830-830
No TPTP formula. May not be expressible in strict first order. french_format.kif 490-490
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 24-24
No TPTP formula. May not be expressible in strict first order. terms-it.txt 26-26
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2175-2175
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 442-442
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 27-27
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 57-57
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 511-511
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 27-27

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8468-8468 何時, 1 and Physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 4222-4222 哪裡, 1 and Physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 6112-6112 abstractCounterpart, 2 and Physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 7702-7702 高度, 1 and Physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 7703-7703 高度, 2 and Physical
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24181-24181 週年, 1 and Physical
No TPTP formula. May not be expressible in strict first order. emotion.kif 2120-2120 attitudeForObject, 3 and Physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 8389-8389 一同發生, 1 and Physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 8390-8390 一同發生, 2 and Physical
No TPTP formula. May not be expressible in strict first order. Geography.kif 3817-3817 courseWRT羅盤北, 1 and Physical
No TPTP formula. May not be expressible in strict first order. Geography.kif 3818-3818 courseWRT羅盤北, 2 and Physical
No TPTP formula. May not be expressible in strict first order. Geography.kif 3785-3785 courseWRT北磁, 1 and Physical
No TPTP formula. May not be expressible in strict first order. Geography.kif 3786-3786 courseWRT北磁, 2 and Physical
No TPTP formula. May not be expressible in strict first order. Geography.kif 3722-3722 courseWRT 真北, 1 and Physical
No TPTP formula. May not be expressible in strict first order. Geography.kif 3723-3723 courseWRT 真北, 2 and Physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 8544-8544 日期, 1 and Physical
No TPTP formula. May not be expressible in strict first order. Government.kif 2555-2555 日期解散, 1 and Physical
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 978-978 建立日期, 1 and Physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 7680-7680 距離, 1 and Physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 7681-7681 距離, 2 and Physical
No TPTP formula. May not be expressible in strict first order. Law.kif 178-178 evidence, 2 and Physical
No TPTP formula. May not be expressible in strict first order. Geography.kif 5428-5428 流動, 1 and Physical
No TPTP formula. May not be expressible in strict first order. Geography.kif 5429-5429 流動, 2 and Physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 3945-3945 有目的, 1 and Physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 3961-3961 有代理人的目的, 1 and Physical

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29963-29972
No TPTP formula. May not be expressible in strict first order. Merge.kif 7960-7967
No TPTP formula. May not be expressible in strict first order. Catalog.kif 337-352
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1416-1425
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2078-2091
No TPTP formula. May not be expressible in strict first order. Merge.kif 8249-8256
No TPTP formula. May not be expressible in strict first order. Merge.kif 12984-12997
No TPTP formula. May not be expressible in strict first order. Catalog.kif 51-62
No TPTP formula. May not be expressible in strict first order. Catalog.kif 354-370
No TPTP formula. May not be expressible in strict first order. Catalog.kif 372-387
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25580-25585
No TPTP formula. May not be expressible in strict first order. Merge.kif 839-844

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


No TPTP formula. May not be expressible in strict first order. Dining.kif 1066-1070
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26594-26602
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2887-2903
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2845-2870
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2922-2940
No TPTP formula. May not be expressible in strict first order. Merge.kif 2715-2719
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26586-26588
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 240-255
No TPTP formula. May not be expressible in strict first order. Merge.kif 15872-15877
No TPTP formula. May not be expressible in strict first order. Merge.kif 12970-12982
No TPTP formula. May not be expressible in strict first order. Dining.kif 943-948
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2242-2259


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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