|
|
   RelationalAttribute
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1725-1726 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1817-1819 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 332-334 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1815-1815 | Attribut relationnel est une sous-classe de attribut |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 15-15 | Attribut relationnel est un attribut de Tourniquet |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14108-14108 | ActiveAgreement est une instance de attribut relationnel |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15227-15227 | AdjoiningRoom est une instance de attribut relationnel |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1174-1174 | AllWheelDrive est une instance de attribut relationnel |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30220-30220 | Alone est une instance de attribut relationnel |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2588-2588 | BadAirQuality est une instance de attribut relationnel |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30175-30175 | Bare est une instance de attribut relationnel |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30129-30129 | Barefoot est une instance de attribut relationnel |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 754-754 | BereavedFather est une instance de attribut relationnel |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 768-768 | BereavedMother est une instance de attribut relationnel |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14377-14377 | Blank est une instance de attribut relationnel |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1700-1700 | Breakfast est une instance de attribut relationnel |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1844-1844 | Brunch est une instance de attribut relationnel |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30158-30158 | Clothed est une instance de attribut relationnel |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30312-30312 | Cloudy est une instance de attribut relationnel |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29465-29465 | CoinOperated est une instance de attribut relationnel |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29502-29502 | Collectible est une instance de attribut relationnel |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27156-27156 | CommunalAttribute est une instance de attribut relationnel |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1719-1719 | ComputerUser est une instance de attribut relationnel |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1620-1620 | ContainerEmpty est une instance de attribut relationnel |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1637-1637 | ContainerFull est une instance de attribut relationnel |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30658-30658 | Dieting est une instance de attribut relationnel |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1788-1788 | Dinner est une instance de attribut relationnel |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27120-27120 | Domestic est une instance de attribut relationnel |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1877-1877 | EKGAbnormal est une instance de attribut relationnel |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Music.kif 295-295 | Le nombre 2 argument de albumType est une instance de attribut relationnel |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2436-2436 | Le nombre 2 argument de associateWithStatus est une instance de attribut relationnel |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 764-764 | Le nombre 2 argument de colocatedAgent est une instance de attribut relationnel |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1552-1552 | Le nombre 2 argument de includedMeal est une instance de attribut relationnel |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 628-628 | Le nombre 2 argument de orgStaff est une instance de attribut relationnel |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 461-461 | Le nombre 2 argument de roomAttribute est une instance de attribut relationnel |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 261-261 | Le nombre 2 argument de someRoomsAttribute est une instance de attribut relationnel |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1702-1702 | Attribut est compl�tement d�compos� en attribut interne + attribut relationnel |
|
|
|