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 1711-1713 | |
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 1708-1708 | The number 1 argument of property is an instance of entity |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1709-1709 | The number 2 argument of property is an instance of attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1707-1707 | 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 1617-1617 | abstraction level is a subrelation of property |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1719-1719 | attribute is a subrelation of property |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1514-1514 | complexity is a subrelation of property |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1373-1373 | design pattern is a subrelation of property |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 459-459 | environment attributes is a subrelation of property |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1470-1470 | form of adaptation is a subrelation of property |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1731-1731 | manner is a subrelation of property |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17301-17301 | modal attribute is a subrelation of property |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25575-25575 | shape is a subrelation of property |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 796-796 | status is a subrelation of property |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1553-1553 | strictness is a subrelation of property |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1342-1342 | 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 3260-3266 | 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 989-992 | 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 14055-14058 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14016-14021 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17332-17345 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 476-484 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1162-1171 |
|
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 1165-1169 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1159-1163 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1137-1141 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1131-1135 |
|
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 2712-2716 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2130-2143 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20823-20836 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1214-1218 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 267-272 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 260-265 |
|
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 63-67 |
|
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 30567-30567 | Cheetah the attribute Vulnerable species |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30543-30543 | Crocodile the attribute least concern species |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30584-30584 | Ferret the attribute least concern species |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30602-30602 | Guinea pig the attribute least concern species |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30614-30614 | Hamster the attribute least concern species |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30473-30473 | Lemur the attribute critically endangered species |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30374-30374 | Lion the attribute Vulnerable species |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30503-30503 | Octopus the attribute least concern species |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30490-30490 | Panda the attribute Vulnerable species |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30456-30456 | Parrot the attribute least concern species |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30525-30525 | Reindeer the attribute Vulnerable species |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30433-30433 | Rhinoceros the attribute endangered species |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30413-30413 | Tiger the attribute endangered species |