![]() |
![]() ![]() ![]()
|
![]() |
|
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 2190-2193 | |
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 2188-2188 | Single valued relation is a subclass of inheritable relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2187-2187 | 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 26134-26134 | 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 26107-26107 | 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 26077-26077 | Substring fn is an instance of single valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7560-7560 | age is an instance of single valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7781-7781 | altitude is an instance of single valued relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19516-19516 | approximate diameter is an instance of single valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5988-5988 | arc weight is an instance of single valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5387-5387 | average is an instance of single valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17068-17068 | conclusion is an instance of single valued relation |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3212-3212 | currency type is an instance of single valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8656-8656 | date is an instance of single valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7811-7811 | depth is an instance of single valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7739-7739 | diameter is an instance of single valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7758-7758 | distance is an instance of single valued relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1602-1602 | effective range is an instance of single valued relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23323-23323 | electron number is an instance of single valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16593-16593 | 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 18158-18158 | geometric distance is an instance of single valued relation |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 295-295 | has dimension is an instance of single valued relation |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 302-302 | has variable is an instance of single valued relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7635-7635 | human capacity is an instance of single valued relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13283-13283 | 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 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1621-1621 | leader is an instance of single valued relation |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
![]() |
![]() |