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 | Single valued relation is a subclass of inheritable relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2176-2176 | Single valued relation is a subclass of relation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24472-24472 | String concatenate fn is an instance of single valued relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24445-24445 | String length fn is an instance of single valued relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24415-24415 | Substring fn is an instance of single valued relation |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1453-1453 | absolute height is an instance of single valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7516-7516 | age is an instance of single valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7699-7699 | altitude is an instance of single valued relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17945-17945 | approximate diameter is an instance of single valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5963-5963 | arc weight is an instance of single valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5359-5359 | average is an instance of single valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16893-16893 | conclusion is an instance of single valued relation |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2875-2875 | currency type is an instance of single valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8543-8543 | date is an instance of single valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7726-7726 | depth is an instance of single valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7661-7661 | diameter is an instance of single valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7676-7676 | distance is an instance of single valued relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1385-1385 | effective range is an instance of single valued relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21706-21706 | electron number is an instance of single valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16418-16418 | father is an instance of single valued relation |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 33-33 | genetic substrate of virus is an instance of single valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17972-17972 | geometric distance is an instance of single valued relation |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 296-296 | has dimension is an instance of single valued relation |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 303-303 | has variable is an instance of single valued relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6698-6698 | human capacity is an instance of single valued relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11952-11952 | intelligence quotient is an instance of single valued relation |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 22-22 | invading virus is an instance of single valued relation |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |