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 | Le nombre 1 argument de property est une instance de entit� |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1709-1709 | Le nombre 2 argument de property est une instance de attribut |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1707-1707 | property est une instance de pr�dicat binaire |
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 | abstractionLevel est une sous-relation de property |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1719-1719 | attribute est une sous-relation de property |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1514-1514 | complexity est une sous-relation de property |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1373-1373 | designPattern est une sous-relation de property |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 459-459 | environmentAttributes est une sous-relation de property |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1470-1470 | formOfAdaptation est une sous-relation de property |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1731-1731 | manner est une sous-relation de property |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17301-17301 | modalAttribute est une sous-relation de property |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25575-25575 | shape est une sous-relation de property |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 796-796 | status est une sous-relation de property |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1553-1553 | strictness est une sous-relation de property |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1342-1342 | systemBehavior est une sous-relation de 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 | Agreement emploie Agreement agent cognitif agent cognitif a un attribute Employment partyToAgreement agent cognitif and Agreement partyToAgreement agent cognitif and Agreement |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 989-992 | ComputerProcess programRunning ComputerProcess and programme d'ordinateur programme d'ordinateur a un attribute Executable |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 411-413 | Entit� est une instance de BroadGaugeRailway entit� a un attribute BroadGauge |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 469-471 | Entit� est une instance de DualGaugeRailway entit� a un attribute DualGauge |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 460-462 | Entit� est une instance de NarrowGaugeRailway entit� a un attribute NarrowGauge |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 443-445 | Entit� est une instance de StandardGaugeRailway entit� a un attribute StandardGauge |
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 a un attribute VulnerableSpecies |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30543-30543 | Crocodile a un attribute LeastConcernSpecies |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30584-30584 | Ferret a un attribute LeastConcernSpecies |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30602-30602 | GuineaPig a un attribute LeastConcernSpecies |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30614-30614 | Hamster a un attribute LeastConcernSpecies |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30473-30473 | Lemur a un attribute CriticallyEndangeredSpecies |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30374-30374 | Lion a un attribute VulnerableSpecies |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30503-30503 | Octopus a un attribute LeastConcernSpecies |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30490-30490 | Panda a un attribute VulnerableSpecies |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30456-30456 | Parrot a un attribute LeastConcernSpecies |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30525-30525 | Reindeer a un attribute VulnerableSpecies |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30433-30433 | Rhinoceros a un attribute EndangeredSpecies |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30413-30413 | Tiger a un attribute EndangeredSpecies |