property |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1712-1713 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1721-1723 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 315-317 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1718-1718 | The number 1 argument of property is an instance of entity |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1719-1719 | The number 2 argument of property is an instance of attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1717-1717 | property is an instance of binary predicate |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 177-177 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 178-178 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 108-108 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 235-235 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1937-1937 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 60-60 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 72-72 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 223-223 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 273-273 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 127-127 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 113-113 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 427-427 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1743-1743 | abstraction level is a subrelation of property |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1729-1729 | attribute is a subrelation of property |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1632-1632 | complexity is a subrelation of property |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1482-1482 | design pattern is a subrelation of property |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 460-460 | environment attributes is a subrelation of property |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1584-1584 | form of adaptation is a subrelation of property |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1741-1741 | manner is a subrelation of property |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17476-17476 | modal attribute is a subrelation of property |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7670-7670 | shape is a subrelation of property |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 905-905 | status is a subrelation of property |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1673-1673 | strictness is a subrelation of property |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1451-1451 | system behavior is a subrelation of property |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
![]() |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3277-3283 | An agreement employs another agreement if and only if there exists a cognitive agent such that the cognitive agent the attribute employment and the agreement is a party to agreement of the cognitive agent and the other agreement is a party to agreement of the cognitive agent |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1098-1101 | There exists a computer process such that a computer program is a program running of the computer process if and only if the computer program the attribute executable |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 411-413 | An entity is an instance of broad gauge railway if and only if the entity the attribute broad gauge |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 469-471 | An entity is an instance of dual gauge railway if and only if the entity the attribute dual gauge railway |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 460-462 | An entity is an instance of narrow gauge railway if and only if the entity the attribute narrow gauge |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 443-445 | An entity is an instance of standard gauge railway if and only if the entity the attribute standard gauge |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15426-15429 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15387-15392 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17507-17520 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 469-477 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1178-1187 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 995-1000 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1274-1278 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1268-1272 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1246-1250 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1240-1244 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 501-517 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2729-2733 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2854-2867 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22440-22453 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1323-1327 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 261-266 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 254-259 |
|
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 326-331 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 65-69 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 0 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 32501-32501 | Cheetah the attribute Vulnerable species |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 32477-32477 | Crocodile the attribute least concern species |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 32518-32518 | Ferret the attribute least concern species |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 32536-32536 | Guinea pig the attribute least concern species |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 32548-32548 | Hamster the attribute least concern species |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 32407-32407 | Lemur the attribute critically endangered species |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 32292-32292 | Lion the attribute Vulnerable species |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 32437-32437 | Octopus the attribute least concern species |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 32424-32424 | Panda the attribute Vulnerable species |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 32390-32390 | Parrot the attribute least concern species |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 32459-32459 | Reindeer the attribute Vulnerable species |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 32367-32367 | Rhinoceros the attribute endangered species |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 32347-32347 | Tiger the attribute endangered species |
![]() |
![]() |