BinaryFunction
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1999-1999 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3403-3404 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 635-636 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3399-3399 | Binary function is a subclass of function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3401-3401 | Binary function is a subclass of inheritable relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3400-3400 | Binary function is a subclass of ternary relation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 280-280 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 279-279 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 278-278 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2410-2410 | Aborted is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2527-2527 | Aborted launch is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2430-2430 | Aborted mission is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4708-4708 | Addition is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | Music.kif 924-924 | Album copies function is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7574-7574 | Amounts fn is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1774-1774 | Attr is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | People.kif 68-68 | Births per thousand is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15016-15016 | Body side fn is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 686-686 | Border is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1168-1168 | Cell part is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | People.kif 440-440 | Children born per woman is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3319-3319 | Click-through rate is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1042-1042 | Contest function is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8622-8622 | Day is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | People.kif 101-101 | Deaths per thousand is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | People.kif 227-227 | Deaths per thousand live births is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6645-6645 | Density is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18349-18349 | Department is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18417-18417 | Department of preventing fn is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 476-476 | Directional subregion is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4740-4740 | Division is an instance of binary function |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3722-3722 | The number 1 argument of distributes is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3723-3723 | The number 2 argument of distributes is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5279-5279 | The number 1 argument of identity element is an instance of binary function |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3406-3408 |
|