No TPTP formula. May not be expressible in strict first order. |
Merge.kif 753-753 |
The number 2 argument of assignment is an instance of entity |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2827-2827 |
The number 1 argument of list is an instance of entity |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25526-25526 |
The number 2 argument of abbreviation is an instance of entity |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 881-881 |
The number 1 argument of accessibleFromMenu is an instance of entity |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1165-1165 |
The number 1 argument of accessibleFromMenuItem is an instance of entity |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3003-3003 |
The number 2 argument of acronym is an instance of entity |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28165-28165 |
The number 3 argument of buys is an instance of entity |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2261-2261 |
The number 3 argument of codeMapping is an instance of entity |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17033-17033 |
The number 1 argument of comment is an instance of entity |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3854-3854 |
The number 1 argument of confers norm is an instance of entity |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16283-16283 |
The number 2 argument of confers obligation is an instance of entity |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16262-16262 |
The number 2 argument of confers right is an instance of entity |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1072-1072 |
The number 1 argument of contest entry is an instance of entity |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25509-25509 |
The number 2 argument of conventional long name is an instance of entity |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25521-25521 |
The number 2 argument of conventional short name is an instance of entity |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11353-11353 |
The number 2 argument of creator is an instance of entity |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2862-2862 |
The number 1 argument of BinaryPredicate is an instance of entity |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3876-3876 |
The number 1 argument of deprives norm is an instance of entity |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2351-2351 |
The number 2 argument of destination is an instance of entity |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 369-369 |
The number 1 argument of documentation is an instance of entity |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5132-5132 |
The number 1 argument of element is an instance of entity |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 649-649 |
The number 1 argument of externalImage is an instance of entity |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 381-381 |
The number 2 argument of format is an instance of entity |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3259-3259 |
The number 2 argument of fullName is an instance of entity |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3273-3273 |
The number 2 argument of fullNameIndexOrder is an instance of entity |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |