No TPTP formula. May not be expressible in strict first order. |
Merge.kif 776-776 |
The number 2 argument of assignment is an instance of entity |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2910-2910 |
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 27148-27148 |
The number 2 argument of abbreviation is an instance of entity |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 852-852 |
The number 1 argument of accessible from menu is an instance of entity |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1138-1138 |
The number 1 argument of accessible from menu item is an instance of entity |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3033-3033 |
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 29877-29877 |
The number 3 argument of buys is an instance of entity |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2266-2266 |
The number 3 argument of code mapping is an instance of entity |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18203-18203 |
The number 1 argument of comment is an instance of entity |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3969-3969 |
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 17306-17306 |
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 17285-17285 |
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 1079-1079 |
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 27131-27131 |
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 27143-27143 |
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 13561-13561 |
The number 2 argument of creator is an instance of entity |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2861-2861 |
The number 1 argument of BinaryPredicate is an instance of entity |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3991-3991 |
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 2422-2422 |
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 5381-5381 |
The number 1 argument of element is an instance of entity |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 666-666 |
The number 1 argument of external image 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 3289-3289 |
The number 2 argument of full name is an instance of entity |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3303-3303 |
The number 2 argument of full name index order is an instance of entity |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |