Organization(Organizacao) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 35-35 | Organizacao e' disjunto de Humano |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3720-3724 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16634-16643 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16632-16632 | Organizacao e' uma sub-classe de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16626-16626 | Organizacao e' uma sub-classe de Grupo |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4725-4725 | AmericanInstituteInTaiwan e' uma instancia de Organizacao |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5591-5591 | BlueCrossBlueShield e' uma instancia de Organizacao |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1740-1740 | NASDAQ e' uma instancia de Organizacao |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3057-3057 | O contra-dominio de AgreementOrganizationFn e' uma instancia de Organizacao |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18324-18324 | O contra-dominio de DepartmentOfFn e' uma instancia de Organizacao |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18396-18396 | O contra-dominio de DepartmentOfPreventingFn e' uma instancia de Organizacao |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1322-1322 | O contra-dominio de ExecutiveBranchFn e' uma instancia de Organizacao |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16202-16202 | Business e' uma sub-classe de Organizacao |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7623-7623 | CareOrganization e' uma sub-classe de Organizacao |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 942-942 | Club e' uma sub-classe de Organizacao |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8436-8436 | Commission e' uma sub-classe de Organizacao |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7577-7577 | CommunicationOrganization e' uma sub-classe de Organizacao |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1707-1707 | CopyrightAuthority e' uma sub-classe de Organizacao |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2611-2611 | CrossFunctionalTeam e' uma sub-classe de Organizacao |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2781-2781 | CustomerSupport e' uma sub-classe de Organizacao |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16753-16753 | Organizacao Educacional e' uma sub-classe de Organizacao |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 17-17 | FinancialOrganization e' uma sub-classe de Organizacao |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16700-16700 | GovernmentOrganization e' uma sub-classe de Organizacao |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1741-1741 | HotelFrontDesk e' uma sub-classe de Organizacao |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2510-2510 | InternationalOrganization e' uma sub-classe de Organizacao |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16746-16746 | JudicialOrganization e' uma sub-classe de Organizacao |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1924-1924 | LegislativeOrganization e' uma sub-classe de Organizacao |
No TPTP formula. May not be expressible in strict first order. | Music.kif 966-966 | MarchingBand e' uma sub-classe de Organizacao |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7593-7593 | MediaOrganization e' uma sub-classe de Organizacao |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2754-2754 | MetallurgicalPlant e' uma sub-classe de Organizacao |
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 18322-18322 | O argumento numero 1 de DepartmentOfFn e' uma instancia de Organizacao |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18393-18393 | O argumento numero 1 de DepartmentOfPreventingFn e' uma instancia de Organizacao |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1761-1761 | O argumento numero 1 de MemberFn e' uma instancia de Organizacao |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1782-1782 | O argumento numero 1 de MemberRoleFn e' uma instancia de Organizacao |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2766-2766 | O argumento numero 2 de accommodationProvider e' uma instancia de Organizacao |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24139-24139 | O argumento numero 1 de affiliatedOrganization e' uma instancia de Organizacao |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24140-24140 | O argumento numero 2 de affiliatedOrganization e' uma instancia de Organizacao |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2585-2585 | O argumento numero 1 de aimOfOrganization e' uma instancia de Organizacao |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24167-24167 | O argumento numero 1 de ancestorOrganization e' uma instancia de Organizacao |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24168-24168 | O argumento numero 2 de ancestorOrganization e' uma instancia de Organizacao |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2547-2547 | O argumento numero 1 de businessUnit e' uma instancia de Organizacao |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2058-2058 | O argumento numero 1 de chamberOfLegislature e' uma instancia de Organizacao |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2059-2059 | O argumento numero 2 de chamberOfLegislature e' uma instancia de Organizacao |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 664-664 | O argumento numero 1 de checkInTime e' uma instancia de Organizacao |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16832-16832 | O argumento numero 3 de colleague e' uma instancia de Organizacao |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3630-3630 | O argumento numero 3 de customerRepresentative e' uma instancia de Organizacao |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1820-1820 | O argumento numero 2 de electionForOrganization e' uma instancia de Organizacao |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1281-1281 | O argumento numero 1 de executiveBranch e' uma instancia de Organizacao |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2965-2965 | O argumento numero 2 de grossMerchandiseBoughtInPeriod e' uma instancia de Organizacao |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2994-2994 | O argumento numero 2 de grossMerchandiseSoldInPeriod e' uma instancia de Organizacao |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7572-7572 | O argumento numero 1 de headquartersOfOrganization e' uma instancia de Organizacao |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24145-24145 | O argumento numero 1 de ideologicalAffiliationOfOrganization e' uma instancia de Organizacao |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7137-7137 | O argumento numero 2 de insured e' uma instancia de Organizacao |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2094-2094 | O argumento numero 1 de judicialBranch e' uma instancia de Organizacao |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2000-2000 | O argumento numero 1 de legislativeBranch e' uma instancia de Organizacao |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1774-1779 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4658-4667 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4504-4509 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4492-4496 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4480-4484 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20733-20742 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1301-1305 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 345-350 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1633-1639 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1673-1679 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1336-1340 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2155-2159 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2050-2054 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1767-1772 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1789-1795 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1797-1803 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3063-3067 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10762-10770 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1831-1835 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25092-25113 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10746-10754 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10632-10640 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10653-10665 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10642-10651 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2501-2508 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10562-10571 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1692-1698 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 1882-1886 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7067-7076 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13360-13371 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22159-22166 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20723-20731 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 91-95 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3704-3708 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3732-3736 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1289-1293 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 136-140 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22964-22973 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20551-20558 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2788-2793 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2795-2805 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3089-3096 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 935-940 | |
No TPTP formula. May not be expressible in strict first order. | Communications.kif 369-377 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16057-16064 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2102-2106 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2007-2011 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1023-1027 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 951-955 |
|