![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3612-3613 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16039-16040 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8792-8792 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16038-16038 | Wearable item is a subclass of artifact |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31645-31645 | The values returned by Covering fn are subclasses of wearable item |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16076-16076 | Clothing is a subclass of wearable item |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 503-503 | Earphone is a subclass of wearable item |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4464-4464 | Fitbit is a subclass of wearable item |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3506-3506 | Hearing protection is a subclass of wearable item |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 6514-6514 | Jewelry is a subclass of wearable item |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 6488-6488 | Personal adornment is a subclass of wearable item |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3540-3540 | Protective eyewear is a subclass of wearable item |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3588-3588 | Respirator is a subclass of wearable item |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3481-3481 | Safety harness is a subclass of wearable item |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62589-62589 | Safety harness is a subclass of wearable item |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62588-62588 | Safety harness is a subclass of wearable item |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62587-62587 | Safety harness is a subclass of wearable item |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16101-16101 | The number 2 argument of wears is an instance of wearable item |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16042-16048 |
|
![]() |
![]() |