StationaryArtifact(Artefato Estacionario) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15651-15651 | Sidewalk e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7006-7006 | SportsFacility e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15673-15673 | SportsGround e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15063-15063 | Stairway e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7909-7909 | Steeple e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15087-15087 | Steps e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4722-4722 | SwimmingPool e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6842-6842 | Tomb e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2910-2910 | TransitTerminal e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1631-1631 | Tunnel e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6797-6797 | VotingPoll e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 626-626 | WMDWeaponsProductionFacility e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 637-637 | WMDWeaponsResearchFacility e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15308-15308 | Wall e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6854-6854 | Workshop e' uma sub-classe de Artefato Estacionario |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1050-1050 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1311-1311 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 728-728 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 259-259 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 262-262 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2412-2412 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 680-680 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 298-298 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 749-749 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |