AutonomousAgent(agent) |
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 1568-1569 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1566-1566 | Agent is a subclass of object |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4157-4157 | Furniture is disjoint from agent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7648-7648 | The range of street address is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 953-953 | Autonomous mobile robot is a subclass of agent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16348-16348 | Commercial agent is a subclass of agent |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1472-1472 | Employer is a subclass of agent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14207-14207 | Geopolitical area is a subclass of agent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16399-16399 | Group is a subclass of agent |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1619-1619 | IT agent is a subclass of agent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14508-14508 | Organism is a subclass of agent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16785-16785 | Organization is a subclass of agent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1576-1576 | Sentient agent is a subclass of agent |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 848-848 | Sentient agent is a subclass of agent |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64490-64490 | Sentient agent is a subclass of agent |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 898-898 | Sentient agent is a subclass of agent |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2411-2411 | The number 1 argument of aborted is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2510-2510 | The number 1 argument of aborted launch is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2431-2431 | The number 1 argument of aborted mission is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1647-1647 | The number 1 argument of election is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1283-1283 | The number 1 argument of executive branch is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4034-4034 | The number 1 argument of fiscal year is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4060-4060 | The number 1 argument of fiscal year starting is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4302-4302 | The number 1 argument of property is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 981-981 | The number 1 argument of sellers items is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1016-1016 | The number 1 argument of sellers other items is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7877-7877 | The number 1 argument of wealth is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1660-1660 | The number 2 argument of achievement is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 600-600 | The number 1 argument of activity capability is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2445-2445 | The number 2 argument of agent is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3407-3407 | The number 2 argument of agent name is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2196-2196 | The number 1 argument of agent operates in area is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24849-24849 | The number 2 argument of alias is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2463-2463 | The number 1 argument of allied is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2464-2464 | The number 2 argument of allied is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 155-155 | The number 2 argument of appointed position is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24569-24569 | The number 1 argument of area of responsibility is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25120-25120 | The number 2 argument of arrested is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Law.kif 230-230 | The number 2 argument of arresting officer is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1945-1945 | The number 3 argument of ask price is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2385-2385 | The number 1 argument of associate in organization is an instance of agent |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |