|
|
   SingleValuedRelation
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1820-1822 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2179-2182 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 438-441 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2177-2177 | Relation simple est une sous-classe de InheritableRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2176-2176 | Relation simple est une sous-classe de relation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24471-24471 | StringConcatenateFn est une instance de relation simple |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24444-24444 | StringLengthFn est une instance de relation simple |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24414-24414 | SubstringFn est une instance de relation simple |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1453-1453 | absoluteHeight est une instance de relation simple |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7516-7516 | age est une instance de relation simple |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7721-7721 | altitude est une instance de relation simple |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17944-17944 | approximateDiameter est une instance de relation simple |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5963-5963 | arcWeight est une instance de relation simple |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5359-5359 | average est une instance de relation simple |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16915-16915 | conclusion est une instance de relation simple |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2875-2875 | currencyType est une instance de relation simple |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8565-8565 | date est une instance de relation simple |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7748-7748 | depth est une instance de relation simple |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7679-7679 | diameter est une instance de relation simple |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7698-7698 | distance est une instance de relation simple |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1385-1385 | effectiveRange est une instance de relation simple |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21705-21705 | electronNumber est une instance de relation simple |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16440-16440 | father est une instance de relation simple |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 33-33 | geneticSubstrateOfVirus est une instance de relation simple |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17994-17994 | geometricDistance est une instance de relation simple |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 296-296 | hasDimension est une instance de relation simple |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 303-303 | hasVariable est une instance de relation simple |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6697-6697 | humanCapacity est une instance de relation simple |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11951-11951 | intelligenceQuotient est une instance de relation simple |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 22-22 | invadingVirus est une instance de relation simple |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|