No TPTP formula. May not be expressible in strict first order. |
Merge.kif 778-778 |
The number 2 argument of assignment is an instance of entity |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2869-2869 |
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 26718-26718 |
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 accessibleFromMenu is an instance of entity |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1136-1136 |
The number 1 argument of accessibleFromMenuItem is an instance of entity |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3019-3019 |
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 29465-29465 |
The number 3 argument of buys is an instance of entity |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2252-2252 |
The number 3 argument of codeMapping is an instance of entity |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18099-18099 |
The number 1 argument of comment is an instance of entity |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3919-3919 |
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 17202-17202 |
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 17181-17181 |
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 1078-1078 |
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 26701-26701 |
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 26713-26713 |
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 13233-13233 |
The number 2 argument of creator is an instance of entity |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2865-2865 |
The number 1 argument of BinaryPredicate is an instance of entity |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3941-3941 |
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 2393-2393 |
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 5322-5322 |
The number 1 argument of element is an instance of entity |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 668-668 |
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 3275-3275 |
The number 2 argument of fullName 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 fullNameIndexOrder is an instance of entity |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |