appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3550-3552 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15515-15518 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3007-3007 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3228-3228 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15514-15514 | Text is a subclass of artifact |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15513-15513 | Text is a subclass of content bearing object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15512-15512 | Text is a subclass of linguistic expression |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3171-3171 | The values returned by document are subclasses of text |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15990-15990 | The values returned by series volume are subclasses of text |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16048-16048 | Article is a subclass of text |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2287-2287 | Calendar is a subclass of text |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15783-15783 | Certificate is a subclass of text |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1025-1025 | Chairman publication is a subclass of text |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9037-9037 | Christian gospel is a subclass of text |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 993-993 | Doctrine is a subclass of text |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15534-15534 | Factual text is a subclass of text |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15562-15562 | Fictional text is a subclass of text |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15856-15856 | Form text is a subclass of text |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 921-921 | Joint publication is a subclass of text |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15843-15843 | Label is a subclass of text |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 3015-3015 | LTU is a subclass of text |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 687-687 | Lyrics is a subclass of text |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1402-1402 | Motion picture is a subclass of text |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15791-15791 | Music text is a subclass of text |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16297-16297 | Narrative text is a subclass of text |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 698-698 | Paragraph is a subclass of text |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10594-10594 | Prescription is a subclass of text |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16016-16016 | Series is a subclass of text |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4217-4217 | Spam is a subclass of text |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15736-15736 | Summary is a subclass of text |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3192-3192 | Treaty document is a subclass of text |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1038-1038 | Treaty document is a subclass of text |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17994-17994 | The number 1 argument of registered item is an instance of text |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15628-15628 | The number 2 argument of editor is a subclass of text |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15637-15637 | The number 2 argument of publishes is a subclass of text |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 738-748 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 1896-1900 |
|
No TPTP formula. May not be expressible in strict first order. | Biography.kif 750-759 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 938-943 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15520-15525 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15527-15532 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Communications.kif 202-214 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19795-19799 |
|
No TPTP formula. May not be expressible in strict first order. | Biography.kif 725-734 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9673-9680 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 931-936 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4017-4025 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13008-13013 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17308-17314 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12843-12849 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15740-15745 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1524-1530 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 672-681 |
|
statement |
![]() |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3305-3311 | IBookstore has the purpose there exists ?D such that ?D is an instance of downloading and iBookstore is an instrument for ?D and ?T is an instance of text and the object transferred in ?D is ?T |
![]() |
![]() |