subrelation |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1375-1378 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 173-178 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 33-37 | |
No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 35-39 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 171-171 | The number 1 argument of subrelation is an instance of relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 172-172 | The number 2 argument of subrelation is an instance of relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 169-169 | subrelation is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 170-170 | subrelation is an instance of partial ordering relation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 321-321 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 326-326 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 183-183 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 279-279 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2003-2003 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 135-135 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 176-176 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 422-422 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 316-316 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 203-203 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 193-193 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 471-471 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 322-322 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55789-55789 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55788-55788 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Media.kif 119-121 | A relation is a subrelation of involved in event if and only if the relation is an instance of case role |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 43-52 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23298-23302 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 186-190 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 200-205 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 180-184 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 238-242 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 192-198 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 318-322 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 345-349 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2427-2429 |
|
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2530-2530 | Aborted launch is a subrelation of aborted |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2433-2433 | Aborted mission is a subrelation of aborted |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8064-8064 | Citizenry is a subrelation of resident |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6643-6643 | Density is a subrelation of per |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18416-18416 | Department of preventing fn is a subrelation of department |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6176-6176 | Shoreline is a subrelation of border |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6655-6655 | Speed is a subrelation of per |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3145-3145 | abbreviated display title is a subrelation of display title |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27266-27266 | abbreviation is a subrelation of conventional short name |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 868-868 | absorbed dose is a subrelation of measure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6114-6114 | abstract counterpart is a subrelation of represents |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1617-1617 | abstraction level is a subrelation of property |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 228-228 | account at is a subrelation of party to agreement |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 247-247 | account holder is a subrelation of party to agreement |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4409-4409 | account information is a subrelation of contains information |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4155-4155 | account phone number is a subrelation of account information |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4163-4163 | account used is a subrelation of patient |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27277-27277 | acronym is a subrelation of abbreviation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 385-385 | administrative center is a subrelation of geopolitical subdivision |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3323-3323 | after tax income is a subrelation of income earned |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7518-7518 | age is a subrelation of measure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2435-2435 | agent is a subrelation of involved in event |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3406-3406 | agent name is a subrelation of names |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2201-2201 | agent operates in area is a subrelation of partly located |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25708-25708 | air temperature is a subrelation of measure |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |