No TPTP formula. May not be expressible in strict first order. |
Merge.kif 787-787 |
The number 2 argument of assignment is an instance of entity |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2933-2933 |
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 27149-27149 |
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 29878-29878 |
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 18336-18336 |
The number 1 argument of comment is an instance of entity |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3992-3992 |
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 17425-17425 |
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 17404-17404 |
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 1080-1080 |
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 27132-27132 |
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 27144-27144 |
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 13686-13686 |
The number 2 argument of creator is an instance of entity |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2663-2663 |
The number 1 argument of BinaryPredicate is an instance of entity |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4014-4014 |
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 2445-2445 |
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 5414-5414 |
The number 1 argument of element is an instance of entity |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 677-677 |
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 |