No TPTP formula. May not be expressible in strict first order. |
Music.kif 332-332 |
albumTrack est une sous-relation de inList |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23323-23323 |
alias est une sous-relation de deceptiveIdentifier |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23213-23213 |
alias est une sous-relation de names |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3129-3129 |
alternativeTitle est une sous-relation de titleInLanguage |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 909-909 |
amountCharged est une sous-relation de transactionAmount |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17854-17854 |
angleOfFigure est une sous-relation de geometricPart |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 349-349 |
anthem est une sous-relation de represents |
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. |
Mid-level-ontology.kif 26931-26931 |
approves est une sous-relation de inScopeOfInterest |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23479-23479 |
arrested est une sous-relation de controlled |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 227-227 |
arrestingOfficer est une sous-relation de agent |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1924-1924 |
askPrice est une sous-relation de price |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2426-2426 |
associateInOrganization est une sous-relation de member |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13105-13105 |
attends est une sous-relation de experiencer |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1719-1719 |
attribute est une sous-relation de property |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23042-23042 |
aunt est une sous-relation de familyRelation |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3806-3806 |
availableBalance est une sous-relation de currentAccountBalance |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3829-3829 |
availableCash est une sous-relation de availableBalance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7837-7837 |
barometricPressure est une sous-relation de measure |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8121-8121 |
before est une sous-relation de beforeOrEqual |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3343-3343 |
beforeTaxIncome est une sous-relation de incomeEarned |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2809-2809 |
believes est une sous-relation de inScopeOfInterest |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1904-1904 |
bidPrice est une sous-relation de price |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24233-24233 |
birthday est une sous-relation de anniversary |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2510-2510 |
bondRating est une sous-relation de attribute |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |