![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1683-1683 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1558-1559 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1556-1556 | AutonomousAgent est une sous-classe de objet |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3714-3714 | Furniture est disjoint de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6710-6710 | Le domaine de StreetAddressFn est une instance de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16195-16195 | CommercialAgent est une sous-classe de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14076-14076 | Secteur g�opolitique est une sous-classe de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16246-16246 | Groupe est une sous-classe de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1306-1306 | ITAgent est une sous-classe de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14377-14377 | Organisme est une sous-classe de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16632-16632 | Organisation est une sous-classe de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1566-1566 | Sentient agent est une sous-classe de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 848-848 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64496-64496 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 898-898 |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2411-2411 | Le nombre 1 argument de AbortedFn est une instance de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1685-1685 | Le nombre 1 argument de ElectionFn est une instance de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1321-1321 | Le nombre 1 argument de ExecutiveBranchFn est une instance de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3697-3697 | Le nombre 1 argument de FiscalYearFn est une instance de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3723-3723 | Le nombre 1 argument de FiscalYearStartingFn est une instance de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4274-4274 | Le nombre 1 argument de PropertyFn est une instance de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 981-981 | Le nombre 1 argument de SellersItemsFn est une instance de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1016-1016 | Le nombre 1 argument de SellersOtherItemsFn est une instance de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7814-7814 | Le nombre 1 argument de WealthFn est une instance de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1660-1660 | Le nombre 2 argument de achievement est une instance de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 596-596 | Le nombre 1 argument de activityCapability est une instance de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2434-2434 | Le nombre 2 argument de agent est une instance de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3423-3423 | Le nombre 2 argument de agentName est une instance de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2235-2235 | Le nombre 1 argument de agentOperatesInArea est une instance de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23207-23207 | Le nombre 2 argument de alias est une instance de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 150-150 | Le nombre 2 argument de appointedPosition est une instance de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22927-22927 | Le nombre 1 argument de areaOfResponsibility est une instance de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23478-23478 | Le nombre 2 argument de arrested est une instance de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1928-1928 | Le nombre 3 argument de askPrice est une instance de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2424-2424 | Le nombre 1 argument de associateInOrganization est une instance de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2435-2435 | Le nombre 1 argument de associateWithStatus est une instance de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 2126-2126 | Le nombre 2 argument de attitudeForFormula est une instance de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 2119-2119 | Le nombre 2 argument de attitudeForObject est une instance de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15478-15478 | Le nombre 1 argument de authors est une instance de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22912-22912 | Le nombre 2 argument de benefits est une instance de AutonomousAgent |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |