No TPTP formula. May not be expressible in strict first order. |
Merge.kif 780-780 |
The number 2 argument of assignment is an instance of entity |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2946-2946 |
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 29133-29133 |
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. |
Mid-level-ontology.kif 29144-29144 |
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 31853-31853 |
The number 3 argument of buys is an instance of entity |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2268-2268 |
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 18553-18553 |
The number 1 argument of comment is an instance of entity |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4008-4008 |
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 17630-17630 |
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 17609-17609 |
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 1082-1082 |
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 29116-29116 |
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 29128-29128 |
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 15085-15085 |
The number 2 argument of creator is an instance of entity |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2655-2655 |
The number 1 argument of BinaryPredicate is an instance of entity |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 287-287 |
The number 2 argument of defense lawyer is an instance of entity |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4030-4030 |
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 2456-2456 |
The number 2 argument of destination is an instance of entity |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 362-362 |
The number 1 argument of documentation is an instance of entity |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5439-5439 |
The number 1 argument of element is an instance of entity |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 670-670 |
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 374-374 |
The number 2 argument of format is an instance of entity |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16091-16091 |
The number 2 argument of former name is an instance of entity |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |