|
|
   BinaryRelation
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1831-1832 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2147-2149 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2145-2145 | Binary relation is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2144-2144 | Binary relation is a subclass of relation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2073-2074 | Relation is disjointly decomposed into binary relation, ternary relation, quaternary relation, quintary relation, and variable arity relation |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 155-155 | actionTendency is an instance of binary relation |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4502-4502 | burn-in period is an instance of binary relation |
| No TPTP formula. May not be expressible in strict first order. | Catalog.kif 44-44 | catalogItem is an instance of binary relation |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 206-206 | catalyst is an instance of binary relation |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 203-203 | category identifier string is an instance of binary relation |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 20-20 | contains formula is an instance of binary relation |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 701-701 | deviceOS is an instance of binary relation |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 139-139 | emotionTendency is an instance of binary relation |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4217-4217 | experiment identifier string is an instance of binary relation |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1019-1019 | hardware type is an instance of binary relation |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5562-5562 | hazardous is an instance of binary relation |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 181-181 | inhibits is an instance of binary relation |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 123-123 | listing bidder is an instance of binary relation |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 92-92 | listing buyer is an instance of binary relation |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 56-56 | listing seller is an instance of binary relation |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 668-668 | medicine is an instance of binary relation |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 33-33 | permits is an instance of binary relation |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 55-55 | prohibits is an instance of binary relation |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 137-137 | punishes is an instance of binary relation |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 535-535 | record for agreement is an instance of binary relation |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4339-4339 | recoveryKey is an instance of binary relation |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 93-93 | rewards is an instance of binary relation |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3799-3799 | software version is an instance of binary relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27786-27786 | suffers is an instance of binary relation |
| 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 3578-3578 | The number 1 argument of equivalence relation on is an instance of binary relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 110-110 | The number 1 argument of inverse is an instance of binary relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 111-111 | The number 2 argument of inverse is an instance of binary relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3502-3502 | The number 1 argument of irreflexive on is an instance of binary relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3521-3521 | The number 1 argument of partial ordering on is an instance of binary relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3484-3484 | The number 1 argument of reflexive on is an instance of binary relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3538-3538 | The number 1 argument of total ordering on is an instance of binary relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3554-3554 | The number 1 argument of trichotomizing on is an instance of binary relation |
|
|
|