| StationaryArtifact(Artefato Estacionario)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3584-3585 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15744-15747 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1256-1256 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15743-15743 | Artefato Estacionario e' uma sub-classe de Artefato |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15923-15923 | Roupa e' disjunto de Artefato Estacionario |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15902-15902 | Tecido e' disjunto de Artefato Estacionario |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3583-3583 | ATMMachine e' uma sub-classe de Artefato Estacionario |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15379-15379 | Balcony e' uma sub-classe de Artefato Estacionario |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1997-1997 | Barrier e' uma sub-classe de Artefato Estacionario |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 1141-1141 | BowlingLane e' uma sub-classe de Artefato Estacionario |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1619-1619 | Bridge e' uma sub-classe de Artefato Estacionario |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 218-218 | BroadcastingStation e' uma sub-classe de Artefato Estacionario |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15761-15761 | Predio e' uma sub-classe de Artefato Estacionario |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15394-15394 | BuildingLevel e' uma sub-classe de Artefato Estacionario |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20544-20544 | BuildingUnit e' uma sub-classe de Artefato Estacionario |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5594-5594 | Canal e' uma sub-classe de Artefato Estacionario |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1692-1692 | CanalLock e' uma sub-classe de Artefato Estacionario |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5607-5607 | CanalStructure e' uma sub-classe de Artefato Estacionario |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1436-1436 | Casino e' uma sub-classe de Artefato Estacionario |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15331-15331 | Ceiling e' uma sub-classe de Artefato Estacionario |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15032-15032 | Chimney e' uma sub-classe de Artefato Estacionario |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26004-26004 | Courtyard e' uma sub-classe de Artefato Estacionario |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15046-15046 | Curb e' uma sub-classe de Artefato Estacionario |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5612-5612 | Dam e' uma sub-classe de Artefato Estacionario |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26844-26844 | DanceHall e' uma sub-classe de Artefato Estacionario |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15285-15285 | Doorway e' uma sub-classe de Artefato Estacionario |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22575-22575 | EducationalFacility e' uma sub-classe de Artefato Estacionario |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15730-15730 | Farm e' uma sub-classe de Artefato Estacionario |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15668-15668 | Fence e' uma sub-classe de Artefato Estacionario |
| 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. | Mid-level-ontology.kif 6706-6706 | O argumento numero 1 de StreetAddressFn e' uma instancia de Artefato Estacionario |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20801-20801 | O argumento numero 1 de constructionPeriod e' uma instancia de Artefato Estacionario |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20816-20816 | O argumento numero 1 de contractor e' uma instancia de Artefato Estacionario |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6698-6698 | O argumento numero 1 de humanCapacity e' uma instancia de Artefato Estacionario |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20529-20529 | O argumento numero 2 de workLocation e' uma instancia de Artefato Estacionario |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 476-476 | O argumento numero 1 de maxRoomCapacity e' uma sub-classe de Artefato Estacionario |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12856-12861 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15749-15759 |
| consequent |
|
|
|
|
|