No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21141-21141 |
子類 Archeology and FieldOfStudy |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21178-21178 |
子類 建築 and FieldOfStudy |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21286-21286 |
子類 電氣工程領域 and FieldOfStudy |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21293-21293 |
子類 電子產品 and FieldOfStudy |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21334-21334 |
子類 法律領域 and FieldOfStudy |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21326-21326 |
子類 歷史 and FieldOfStudy |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21117-21117 |
子類 室內設計 and FieldOfStudy |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21109-21109 |
子類 文獻 and FieldOfStudy |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21113-21113 |
子類 數學 and FieldOfStudy |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21308-21308 |
子類 機械工程領域 and FieldOfStudy |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21302-21302 |
子類 力學領域 and FieldOfStudy |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21323-21323 |
子類 軍事科學 and FieldOfStudy |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21330-21330 |
子類 哲學 and FieldOfStudy |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21298-21298 |
子類 PowerElectronics and FieldOfStudy |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21121-21121 |
子類 科學 and FieldOfStudy |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21282-21282 |
子類 統計 and FieldOfStudy |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21313-21313 |
子類 神學 and FieldOfStudy |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1231-1231 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1683-1683 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 909-909 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 442-442 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 445-445 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2593-2593 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 861-861 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |