FrontFn |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1560-1564 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 841-849 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 838-838 | The number 1 argument of front is an instance of self connected object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 836-836 | Front is an instance of asymmetric relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 837-837 | Front is an instance of irreflexive relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 834-834 | Front is an instance of partial valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 833-833 | Front is an instance of spatial relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 835-835 | Front is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 839-839 | The range of front is an instance of self connected object |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 259-259 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 267-267 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 260-260 | "挪前函数" is the printable form of front in ChineseLanguage |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25009-25009 | "面前" is the printable form of front in ChineseLanguage |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25008-25008 | "面前" is the printable form of front in ChineseTraditionalLanguage |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25007-25007 | "front" is the printable form of front in english language |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Music.kif 313-319 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10473-10479 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3615-3620 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 851-853 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3991-3996 |
|
![]() |
![]() |