monetaryValue |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2668-2669 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7808-7810 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1388-1389 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7805-7805 | Le nombre 1 argument de monetaryValue est une instance de physique |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7806-7806 | Le nombre 2 argument de monetaryValue est une instance de mesure de devise |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7803-7803 | monetaryValue est une instance de relation asym�trique |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7804-7804 | monetaryValue est une instance de pr�dicat binaire |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7802-7802 | monetaryValue est une instance de relation simple |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 627-627 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 630-630 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 378-378 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 193-193 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2112-2112 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 330-330 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 387-387 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 822-822 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 231-231 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 400-400 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 420-420 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 371-371 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1483-1483 | appraisedValue est une sous-relation de monetaryValue |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3476-3476 | finalPrice est une sous-relation de monetaryValue |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 628-628 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38354-38354 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38353-38353 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 372-372 |
antecedent |
consequent |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 204-223 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16199-16211 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23827-23844 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7823-7827 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23855-23858 | |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2974-2986 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2998-3010 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 47-50 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15676-15679 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3481-3484 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 94-97 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2104-2124 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11879-11884 |