| 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 17323-17323 | modalAttribute est une sous-relation de property |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25574-25574 | 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 14054-14057 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14015-14020 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17354-17367 |
|
| 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 2126-2139 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20822-20835 |
|
| 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 30555-30555 | Cheetah a un attribute VulnerableSpecies |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30531-30531 | Crocodile a un attribute LeastConcernSpecies |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30572-30572 | Ferret a un attribute LeastConcernSpecies |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30590-30590 | GuineaPig a un attribute LeastConcernSpecies |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30602-30602 | Hamster a un attribute LeastConcernSpecies |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30461-30461 | Lemur a un attribute CriticallyEndangeredSpecies |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30362-30362 | Lion a un attribute VulnerableSpecies |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30491-30491 | Octopus a un attribute LeastConcernSpecies |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30478-30478 | Panda a un attribute VulnerableSpecies |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30444-30444 | Parrot a un attribute LeastConcernSpecies |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30513-30513 | Reindeer a un attribute VulnerableSpecies |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30421-30421 | Rhinoceros a un attribute EndangeredSpecies |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30401-30401 | Tiger a un attribute EndangeredSpecies |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners