No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21169-21169 |
Archeology est une sous-classe de champ d'�tude |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21206-21206 |
Architecture est une sous-classe de champ d'�tude |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21314-21314 |
ElectricalEngineering est une sous-classe de champ d'�tude |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21321-21321 |
Electronics est une sous-classe de champ d'�tude |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21362-21362 |
FieldOfLaw est une sous-classe de champ d'�tude |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21354-21354 |
History est une sous-classe de champ d'�tude |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21145-21145 |
InteriorDesign est une sous-classe de champ d'�tude |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21137-21137 |
Literature est une sous-classe de champ d'�tude |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21141-21141 |
Mathematics est une sous-classe de champ d'�tude |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21336-21336 |
MechanicalEngineering est une sous-classe de champ d'�tude |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21330-21330 |
Mechanics est une sous-classe de champ d'�tude |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21351-21351 |
MilitaryScience est une sous-classe de champ d'�tude |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21358-21358 |
Philosophy est une sous-classe de champ d'�tude |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21326-21326 |
PowerElectronics est une sous-classe de champ d'�tude |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21149-21149 |
Science est une sous-classe de champ d'�tude |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21310-21310 |
Statistics est une sous-classe de champ d'�tude |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21341-21341 |
Theology est une sous-classe de champ d'�tude |
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 |